基于无干扰理论的分布式多级安全核心架构

邵婧陈性元杜学绘曹利峰

Distributed multilevel security core architecture based on noninterference theory

SHAO Jing CHEN Xingyuan DU Xuehui CAO Lifeng

计算机应用 . 2013, (03): 712 -716 . DOI: 10.3724/SP.J.1087.2013.00712