操作系统可信机制功能模型研究

J4 ›› 2012, Vol. 47 ›› Issue (9): 26-31.

操作系统可信机制功能模型研究

郜伟¹,高红霞²,何静¹

1.解放军信息工程大学理学院, 河南郑州 450001;
2.河南工程学院计算机科学与工程系, 河南郑州 450007

收稿日期:2012-07-03 出版日期:2012-09-20 发布日期:2012-09-24
作者简介:郜伟(1977- ),男,硕士研究生,讲师,主要研究方向为网络安全,系统工程. Email:gaowei@189.cn
基金资助:
国家高技术研究发展计划(863计划)基金项目(2007AA01Z483)

Research on function model of OS trusted mechanism

GAO Wei¹, GAO Hong-xia², HE Jing¹

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

Received:2012-07-03 Online:2012-09-20 Published:2012-09-24

摘要/Abstract

摘要：

提出了一种操作系统可信机制功能模型建立方法,基于XML设计了存储结构,并用于可信机制层次功能模型的存储和转换;设计了IDA反汇编工具的相关插件,实现了从二进制代码中自动抽取和保存函数依赖关系、函数CFG图和层次功能模型的功能。

关键词: 操作系统;逆向分析;功能模型;函数依赖;二进制代码;CFG图

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.

Key words: operating system; reverse analysis; function model; routine relation; binary code; CFG

郜伟1,高红霞2,何静1. 操作系统可信机制功能模型研究[J]. J4, 2012, 47(9): 26-31.

GAO Wei1, GAO Hong-xia2, HE Jing1. Research on function model of OS trusted mechanism[J]. J4, 2012, 47(9): 26-31.

参考文献

多维度评价

Viewed

Full text

Abstract

Cited

Shared

Discussed