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

Yongwang Zhao, David Sann, Fuyuan Zhang, Yang Liu

Browse the full TACAS paper archive.