High-Assurance Separation Kernels: A Survey on Formal Methods
https://arxiv.org/abs/1701.01535 [arxiv.org]
2017-03-30 02:46
In this paper, an analytical framework is first proposed to clarify the functionalities, implementations, properties and standards, and formal methods application of separation kernels. Based on the proposed analytical framework, a taxonomy is designed according to formal methods application, functionalities, and properties of separation kernels.
source: L