| 操作系统可信机制功能模型研究 |
| |
| 引用本文： | 郜伟,高红霞,何静.操作系统可信机制功能模型研究[J].山东大学学报(理学版),2012,47(9):26-31,37. |
| |
| 作者姓名： | 郜伟 高红霞 何静 |
| |
| 作者单位： | 1. 解放军信息工程大学理学院,河南郑州,450001
2. 河南工程学院计算机科学与工程系,河南郑州,450007 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)基金项目(2007AA01Z483) |
| |
| 摘 要： | 提出了一种操作系统可信机制功能模型建立方法,基于XML设计了存储结构,并用于可信机制层次功能模型的存储和转换;设计了IDA反汇编工具的相关插件,实现了从二进制代码中自动抽取和保存函数依赖关系、函数CFG图和层次功能模型的功能。
|
| 关 键 词： | 操作系统 逆向分析 功能模型 函数依赖 二进制代码 CFG图 |
Research on function model of OS trusted mechanism |
| |
| GAO Wei,GAO Hong-xia,HE Jing.Research on function model of OS trusted mechanism[J].Journal of Shandong University,2012,47(9):26-31,37. |
| |
| Authors: | GAO Wei GAO Hong-xia HE Jing |
| |
| Institution: | 1(1.Institute of Science,Information Engineering University,Zhengzhou 450001,Henan,China; 2.Department of Computer and Engineering,Henan Institute of Engineering,Zhengzhou 450007,Henan,China) |
| |
| Abstract: | A reverse analysis methodology with the functional model for operating system(OS) trusted mechanism was presents.And the XML-based storage structure was designed to serve the storage and transformation of information cross levels in the level functional model of trusted mechanism.The plugin of IDA was developed,which takes and stores routine CFG and level functional model automatically from the binary code. |
| |
| Keywords: | operating system reverse analysis function model routine relation binary code CFG |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
