Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication

Yongwang Zhao, David Sann, Fuyuan Zhang +1

Assurance of information flow security by formal methods is mandated in security certification of separation kernels. As an industrial standard for separation kernels, ARINC 653 ha…