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

Yongwang Zhao, David Sann, Fuyuan Zhang +1