| 基于对象的软件行为模型 |
| |
| 引用本文： | 傅建明,陶芬,王丹,张焕国.基于对象的软件行为模型[J].软件学报,2011,22(11):2716-2728. |
| |
| 作者姓名： | 傅建明 陶芬 王丹 张焕国 |
| |
| 作者单位： | 1. 空间信息安全与可信计算教育部重点实验室(武汉大学),湖北武汉430072;武汉大学计算机学院,湖北武汉430072;软件工程国家重点实验室(武汉大学),湖北武汉430072
2. 空间信息安全与可信计算教育部重点实验室(武汉大学),湖北武汉430072;武汉大学计算机学院,湖北武汉430072 |
| |
| 基金项目： | 国家自然科学基金(90718005); 国家高技术研究发展计划(863)(2007AA01Z411) |
| |
| 摘 要： | 以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.
|
| 关 键 词： | 入侵检测 软件行为 有限状态自动机 系统对象 系统调用 |
| 收稿时间： | 2/3/2010 12:00:00 AM |
| 修稿时间： | 6/9/2010 12:00:00 AM |
Software Behavior Model Based on System Objects |
| |
| FU Jian-Ming,TAO Fen,WANG Dan and ZHANG Huan-Guo.Software Behavior Model Based on System Objects[J].Journal of Software,2011,22(11):2716-2728. |
| |
| Authors: | FU Jian-Ming TAO Fen WANG Dan and ZHANG Huan-Guo |
| |
| Affiliation: | FU Jian-Ming1,2,3,TAO Fen1,WANG Dan1,ZHANG Huan-Guo1,3 1(Key Laboratory of Aerospace Information Security and Trusted Computing of the Ministry of Education(Wuhan University),Wuhan 430072,China) 2(School of Computer,Wuhan University,China) 3(State Key Laboratory of Software Engineering(Wuhan University),China) |
| |
| Abstract: | On the basis of traditional FSA(finite state automaton),system objects can be resolved from the parameters of system call,and a Software Behavior model based on system object(SBO) is presented.This model defines the software state as all states of system objects,which are owned by the software,and then each state in the model has been assigned semantic information.Therefore,SBO can solve a problem of irrelevant semantics between different traces using the semantic information,and it can detect data semantic... |
| |
| Keywords: | intrusion detection software behavior finite state automaton system object system call |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
