基于对象的软件行为模型

傅建明; 陶芬; 王丹; 张焕国

首页> 中文期刊> 《软件学报》 >基于对象的软件行为模型

基于对象的软件行为模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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 attacks, which directly or indirectly modifies system call parameters. Finally, a software anomaly intrusion detection prototype system based on SBO (SBOIDS) is implemented. The experimental and analysis results show that SBO can effectively detect data semantic attack and control the flow-based and mimicry attacks.%以传统有限自动机(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),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.

著录项

来源
《软件学报》 |2011年第11期|2716-2728|共13页
作者
傅建明; 陶芬; 王丹; 张焕国;
展开▼
作者单位

空间信息安全与可信计算教育部重点实验室(武汉大学);

湖北武汉430072;

武汉大学计算机学院;

湖北武汉430072;

软件工程国家重点实验室(武汉大学);

湖北武汉430072;

空间信息安全与可信计算教育部重点实验室(武汉大学);

湖北武汉430072;

武汉大学计算机学院;

湖北武汉430072;

空间信息安全与可信计算教育部重点实验室(武汉大学);

湖北武汉430072;

武汉大学计算机学院;

湖北武汉430072;

空间信息安全与可信计算教育部重点实验室(武汉大学);

湖北武汉430072;

武汉大学计算机学院;

湖北武汉430072;

软件工程国家重点实验室(武汉大学);

湖北武汉430072;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
入侵检测; 软件行为; 有限状态自动机; 系统对象; 系统调用;

相似文献

中文文献
外文文献
专利

1. HMCAIC软件开发中的对象行为模型和对象交互模型的设计 [J] . 罗真 ,卜家岐 . 上海大学学报（自然科学版） . 1999,第006期
2. 基于控制论的计算机生成兵力实体对象行为模型 [J] . 曾亮 ,郑义 ,李思昆 . 系统仿真学报 . 2005,第4期
3. 基于对象和实例互操作行为模型的工作流研究 [J] . 王实 ,高文 ,李锦涛 . 计算机学报 . 2001,第002期
4. 一种基于参数污点分析的软件行为模型 [J] . 尹芷仪1 ,沈嘉荟1 ,郭晓博1 . 中国科学院大学学报 . 2017,第005期
5. 一种基于参数污点分析的软件行为模型 [J] . 尹芷仪 ,沈嘉荟 ,郭晓博 . 中国科学院研究生院学报 . 2017,第005期
6. 基于对象操作的面向对象软件测试方法的研究 [C] . 孙希坤 ,王雷 ,晏海华 . 2004’全国软件与应用学术会议（NASAC） . 2004
7. 支持面向对象软件逆向工程的行为模型挖掘 [A] . 杜伟 . 2012

基于对象的软件行为模型

摘要

著录项

相似文献

相关主题

期刊订阅