collaborators

1 paper

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…