计算机工程与科学2009，Vol.31Issue(3)：24-26,121,4.
操作系统安全验证形式化分析框架
A Formal Analysis Framework for Operating System Security Verification
尹中旭 1吴灏1
作者信息
- 1. 解放军信息工程大学信息工程学院,河南,郑州,450002
- 折叠
摘要
关键词
模型检测/定理证明/可信计算基/访问控制模型分类
信息技术与安全科学引用本文复制引用
尹中旭,吴灏..操作系统安全验证形式化分析框架[J].计算机工程与科学,2009,31(3):24-26,121,4.
