【摘 要】
：
以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on sy
【机 构】
：
空间信息安全与可信计算教育部重点实验室（武汉大学）,武汉大学计算机学院,软件工程国家重点实验室武汉大学
【基金项目】
：
国家自然科学基金(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),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.
其他文献
<正>从检察人才的培养进程来看,司法的专业化趋势催生了专业化办案模式,提出了对专业化检察人才的急切要求。现阶段,检察机关惟有适应检察职能的发展趋势,以培养专业化、高素
目的分析恩替卡韦治疗慢性乙型肝炎肝硬化失代偿期患者的近期疗效及安全性。方法将我院2017年6月~2018年6月收治的90例慢性乙型肝炎肝硬化失代偿期患者采用随机分组法,将其分
分子印迹技术(Molecular imprinting technology,MIT),是一种用于创建分子印迹聚合物(Molecularly imprinted polymers,MIP)的技术,通常被描述为制造分子锁以匹配分子键的方
<正>由于机床结构受空间的限制和其他方面的要求,大规格重型数控车床多采用齿轮齿条机构来代替传统的滚珠丝杠作为长距离驱动(大于10m)。因此,在由旋转电动机驱动齿轮减速至
利用4种季铵盐阳离子表面活性剂(十二烷基二甲基苄基氯化铵(1227)、十四烷基二甲基苄基氯化铵(1427)、十六烷基三甲基氯化铵(1631)和十八烷基三甲基氯化铵(1831))分别对钠基
今年前8个月,我国对外贸易增速放缓,部分重要产品进口数量明显减少,随着国际大宗商品价格持续下跌进口价格大幅下降。未来一段时期,中国外贸发展将继续面临全球经济复苏放缓
国家电网公司《安全事故调查规程》将交通安全、消防安全事故纳入安全事故的调查和考核,加之普遍实行了无人值班变电站,安全管理工作面临着新挑战。针对新情况,重点分析了外
各市、县(区)人民政府,省人民政府各部门、各直属机构: 为推进中药现代化科技产业基地建没,经请示省政府领导同意,决定成立福建省中药现代化科技产业基地建设领导小组。领导
“通俗”作为一个评语,在学术界人们的心目中一般不意味多高的褒扬。你说某人的文章“难懂”,即使是批评,他也可能得意。而你说某学者的著述“通俗”,就是真心赞许,他也很难
近代长沙城市的发展受到了各方面因素的影响,经历了数重波折后形成了今天的格局。在影响城市发展变迁的众多因素当中,工业建筑对长沙城市格局的影响起到较大的作用。本文对长