【摘 要】
：
恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目
【基金项目】
：
国家863项目(2009AA01Z434)资助
论文部分内容阅读
恶意程序检测是信息安全技术研究的重要内容,基于程序行为特征的检测可以弥补二进制特征码检测方法的很多不足。使用模型检验技术可以对程序的操作行为做属性验证,它需要对目标程序进行建模,得到一个符合克里普克结构的迁移系统。通过对模型检验技术和克里普克结构的研究分析,提出了一种以完整控制流信息为基础、采用贪婪归一策略的克里普克迁移系统生成方法。测试分析表明,利用该方法生成的迁移系统可以完整地描述控制流信息,也可以精确地刻画系统状态的改变。
其他文献
"学讲方式"是以学生自主先学、小组讨论、交流质疑等为主要教学环节,以"学进去""讲出来""教别人"的方式达成学习目标的课堂教学组织形式。"学讲方式"课堂教学,首先让学生明确
<正>优质教学必须依托于优秀师资,而教师的专业发展离不开每一位教师的自主学习与主动探究。只有努力学做一名乐于探究的教师,才能实现自我专业与专业自我的逐步提升,从而不
高校图书馆拥有丰富的信息资源,是文化建设的重要载体,对促进高校教育教学发展,实现全校师生自身知识体系的充实、更新和重组发挥着重要的作用。随着社会的进步,终身学习和终
加强企业的筹资管理,才能降低资本成本,减少筹资风险,以提高资本运作效益。本文分析了企业筹资管理中存在的若干问题,并针对存在的问题提出了加强企业筹资管理的措施。
一、墓室壁画的渊源与发生作为人类最早艺术实践之一的壁画,早在旧石器时代已经出现。在我国,壁画的源头或许可追溯到新石器时代。位于辽宁建平与凌源交界处的牛河梁发现的距
信息超载是目前网络用户面临的一个严重问题,个性化推荐系统是解决该问题的一个有力工具,并受到了众多的关注和研究。给出推荐系统的定义,同时阐述了推荐系统的几项关键技术,
无论是农业生产还是工业生产,劳动力和土地都是必须的两大基本生产要素,尤其是对农业而言土地是最重要的资源,是农业经营的根本,而农民则是在土地上从事农业生产的劳动者。尽
<正>[背景再现]一次区级教研活动要求我开一节课,课题是人教版教材九年级全一册第五课第一框"灿烂的中华文化"。本框教学目标:学生知道各族人民共同创造了灿烂的文化;文化的
随着互联网技术和人才需求状态的不断发展,人才招聘的形式越发多样,应聘者对网络招聘的要求也在不断提高,过去的网络招聘模式显然已经不能适应先进技术的迅猛发展。同时,因缺
<正>2010年服装市场发展趋势01.美国经济回暖有利于全国经济快速发展根据美国权威网站公布的数据,2009年8月份以后各月消费增速呈现明显回升。2009年1月、2月同样呈现上升趋