ListarLCC - Conferencias Científicas por tema "Programas de ordenadores"
Mostrando ítems 1-1 de 1
-
Security Analysis of Separation Kernels Specifications and a Framework for the Verification of Concurrent Implementations
(2017-05-11)Due to the new trend of integrating safe and secure functionalities into one separation kernel, security analysis of ARINC 653 as well as a formal specification with security proofs are thus significant for the ...