Formal verification of information flow security for a simple arm-based separation kernel
Dam, Mads ; Guanciale, Roberto ; Khakpour, Narges ; Nemati, Hamed ; Schwarz, Oliver
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security, 2013, p.223-234New York, NY, USA: ACM
Texto completo disponível