操作系统安全验证形式化分析框架

• 作者: 吴灏 尹中旭
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 模型检测 定理证明 可信计算基 访问控制模型
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 计算机网络与安全
• 页码范围: 24-26,121
• 页数: 4页
• 分类号: TP316
• 字数: 4929字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2009.03.007

摘要

结合当前形式化验证方法的特点和操作系统安全模型情况,本文提出了这些方法在操作系统安全分析中的应用.结合传统定理证明方法的优势,将模型检验方法纳入形式化安全分析体系当中,并分别提出了在安全分析中的应用情况.将用定理证明用于从模型到规则的分析,模型检验从实现中抽取模型,用于从实现到规则的分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴灏	解放军信息工程大学信息工程学院	33	201	9.0	11.0
2	尹中旭	解放军信息工程大学信息工程学院	5	30	3.0	5.0