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

Research on function model of OS trusted mechanism

作　　者：郜伟[1] 高红霞[2] 何静[1] 

机构地区：[1]解放军信息工程大学理学院,河南郑州450001 [2]河南工程学院计算机科学与工程系,河南郑州450007

出　　处：《山东大学学报（理学版）》2012年第9期26-31,37,共7页Journal of Shandong University(Natural Science)

基　　金：国家高技术研究发展计划(863计划)基金项目(2007AA01Z483)

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

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

分 类 号：TP309[自动化与计算机技术—计算机系统结构]