4 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.SE2017
Refinement-based Specification and Security Analysis of Separation Kernels
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
Assurance of information-flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for improving safety, ARINC 653 has…
cs.SE2017★ 4 cited
High-Assurance Separation Kernels: A Survey on Formal Methods
Yongwang Zhao, David Sanan, Fuyuan Zhang +1
Separation kernels provide temporal/spatial separation and controlled information flow to their hosted applications. They are introduced to decouple the analysis of applications in…