【摘 要】
：
针对软件动态可信度量方法中准确性和效率较低的问题，提出了一种以编译器插桩获取软件行为轨迹的软件动态可信SDTBT模型。通过分析包含函数调用和基本块调用的C程序控制流，在GC
【基金项目】
：
国家“863”计划资助项目(2009AA012201);国家自然科学基金资助项目(61472447)
论文部分内容阅读
针对软件动态可信度量方法中准确性和效率较低的问题，提出了一种以编译器插桩获取软件行为轨迹的软件动态可信SDTBT模型。通过分析包含函数调用和基本块调用的C程序控制流，在GCC编译预处理过程中设计软件插桩算法，提取软件行为轨迹；模型运行时可选择基本块或函数调用作为动态可信验证的对象，提高了软件度量的灵活性和效率，同时降低了度量资源消耗。实验分析表明，该模型能够准确提取软件行为轨迹信息，有效检测基于控制流的攻击行为，相较于已有模型有较高的准确性和较低的时间消耗。
其他文献
近些年来随着人们生活水平以及国家经济水平的快速发展,人们对于日常生活的居住环境提出了新的要求,其中土建工程作为房屋建筑的建设单位直接与人们日常生活环境挂钩,如何进
<正> 针对学生在体育课中表现出来的性别、体型和认知三方面的差异,我们以不同的方式有区别、分层次地组织教学,探索改进体育课教学的新途径,求得学生的全面发展。 一、研究
目的：研究小檗碱对大气中空气动力学直径≤2.5μm的细颗粒物（PM2.5）诱导的EA.hy926型人脐静脉内皮细胞（简称EA.hy926细胞）损伤的抑制作用,以及其p38分裂原激活蛋白激酶（p38 MAPK）信
电商网站的兴起与用户在线购物习惯的形成,带来海量的消费者选择行为数据。通过分析消费者选择行为的点击流数据,能更实时、准确地预测用户的兴趣偏好和购买意愿,本文建立log
女娲作为始祖文化,在各地多有纪念性遗存,关于传说其出生地、陵墓,以及后世民间纪念祖庙的历史地理记录,分布地域辽阔。比较有名的一是甘肃天水的"女娲故里";二是始建于北位
东江镇位于陇南市武都区东部,白龙江自西北至东南贯穿研究区。该区总面积为15.2 km~2,地势总体呈北部高、南部低,地貌类型分别为侵蚀构造中山和侵蚀堆积河谷。区内共发育地质
翻译等值问题一直是现代翻译学中的重要议题，西方语言学翻译派对等值理论进行了系统的研究．极大地促进了翻译研究的发展，但国内外围绕它进行的讨论也始终没有停止过。本文综述了
民宿自身带有一定的特色,它与酒店以及宾馆式住宿有着极大的区别。民宿与旅游直接相连,带着特殊的魅力吸引到了大量的顾客。休闲度假旅游成为当下的热潮,国家也在政策上给予
利润可体现企业经营成果,但企业的经营成果并不就是利润。若把两者等价齐观,则是误解。现金净流量作为企业经营成果的又一表现形式,更符合投资目的。两者从不同侧面表现企业
通过对米-1 7系列直升机燃油系统进行FMECA,可使设计、制造、使用及维修部门明确哪些故障对米-17系列直升机燃油系统正常工作、维修保养有影响,明确故障发生的概率、危害性,