互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

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


□ 安喜锋 李伟华 薛 静

  (西北工业大学 a.计算机学院;b.自动化学院, 西安 710072)
  摘 要:以信息安全理论和软件逆向工程技术为依托,研究了操作系统安全机制复合行为模型掘取技术及其实现方法和技术路线。通过结合操作系统的多尺度软件逆向理解技术,对操作系统安全机制的相关程序进行逆向分析、模型掘取和形式化描述,从而发现潜在漏洞、后门、隐通道等操作系统高层安全机制存在的安全问题,为实施修补、反制及利用等相应安全措施提供有力依据。在该技术基础上实现了一套原型系统,实验验证该系统的程序理解和模型掘取结果满足要求。
  关键词:操作系统安全机制;静态分析;程序理解;模型掘取;形式化描述
  中图分类号:TP39308 文献标志码:A
   文章编号:10013695(2009)01031403
  
  Research on technology of complex behavior model mining foroperating system security
  mechanism
  AN Xifenga,LI Weihuaa,XUE Jingb
  (a.College of Computer Science, b.College of Automation, Northwestern Polytechnical University, Xi’an 710072, China)
  Abstract:Based on theories of information security and technology of software reverse engineering, studied the technology and realizable method of complex behavior model mining for operating system security mechanism. By using the technologies of multiscale program comprehension, reverse analysis, model mining and formal description to the programs correlative with operating system security mechanism, found security problems of security mechanism, such as leaks, back doors, covert channels and so on, in order to provide the conclusive evidences for security defence measures. A prototype was implemented and used to verify the security of operating system. The result of program comprehension and model mining satisfies requirements. ......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017