操作系统安全机制复合行为模型掘取技术研究

• 作者: 安喜锋 李伟华 薛静
• 来源期刊: 计算机应用研究
• 关键词: 操作系统安全机制 静态分析 程序理解 模型掘取 形式化描述
• 年，卷（期）: 2009,（1）
• 所属期刊栏目: 信息安全技术
• 页码范围: 314-316
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.01.096

摘要

以信息安全理论和软件逆向工程技术为依托,研究了操作系统安全机制复合行为模型掘取技术及其实现方法和技术路线.通过结合操作系统的多尺度软件逆向理解技术,对操作系统安全机制的相关程序进行逆向分析、模型掘取和形式化描述,从而发现潜在漏洞、后门、隐通道等操作系统高层安全机制存在的安全问题,为实施修补、反制及利用等相应安全措施提供有力依据.在该技术基础上实现了一套原型系统,实验验证该系统的程序理解和模型掘取结果满足要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李伟华	西北工业大学计算机学院	167	1420	17.0	30.0
2	薛静	西北工业大学自动化学院	27	155	7.0	11.0
3	安喜锋	西北工业大学计算机学院	5	67	4.0	5.0