TY  - RPRT
TI  - Reasoning About Information Flow Security of Separation Kernels with Channel-based Communication
AU  - Yongwang Zhao
AU  - David Sann
AU  - Fuyuan Zhang
AU  - Yang Liu
PY  - 2015
UR  - https://arxiv.org/abs/1510.05091
ID  - 1510.05091
ER  -