【摘 要】
：
目前,可信计算平台只验证应用程序的静态散列值,不能防止应用程序遭受动态攻击。本文提出了一个基于静态分析的可信计算动态验证行为建模方法,其中包括CFG的建立,FSA的构造,
【机 构】
：
武汉大学 计算机学院,湖北 武汉 430072
【出 处】
：
第十七届全国网络与数据通信学术会议(NDCC2010)
论文部分内容阅读
目前,可信计算平台只验证应用程序的静态散列值,不能防止应用程序遭受动态攻击。本文提出了一个基于静态分析的可信计算动态验证行为建模方法,其中包括CFG的建立,FSA的构造,ε空循环路径的查找和消除,DFA的构造,无用FSA去除和全局PDA的构建。本文提出了一种修改后的Floyd算法,用于查找ε空循环路径,从而进一步优化模型。根据试验结果,这种方法建立的模型是一个简化的动态验证模型。
其他文献
近年来，我国的经济发展迅速，公路工程建设越来越多。而公路施工过程中常采用的方法是填石路基施工法，其中，路基的施工质量决定着公路施工的整体质量。主要探究了公路施工中填石路
道路桥梁建设工程不仅关系着社会经济的发展，还影响着社会人员的安全，随着我国经济技术的飞速发展，道路桥梁建设工程的不断增加，对施工技术的水平要求也不断提高，预应力施工技术就
混凝土冬季施工在我国北方及西部应用较早，很多北方及西部工程因为工期的缘故选择冬季施工，但成功的案例不多。原因多为混凝土入模、养护温度达不到要求，从而造成混凝土强度不够
施工现场管理是市政道路桥梁工程施工管理的重要组成部分。施工现场管理的结果直接影响到工程的效益、进度和质量
为了解决原金脱粉、块金跳汰分选、金泥浮选联合工艺中浮选入料浓度低的问题，在对直接浮选工艺与浓缩浮选工艺分析的基础上，提出金泥水半直接浮选工艺，并探索跳汰浊水选金的可行
《变形金刚3》中再没她的身影,不禁让人有一种对比的冲动,在这个美女当道的好莱坞世界里,除非你无限接近43岁影后的平均年龄,表演功力也炉火纯青,要不然就天生一副令人抓狂的
三阳开泰,万象更新。大地以及栖息于大地的生灵,经过一冬的休憩,在春雷的召唤声里,将饱蕴着的激情抒发出来,使人世间荡漾着无限春光。盆景《牧春图》,给观者以广阔的想象空
随着社会经济的快速发展，当前土地开发整理工作逐渐成为土地资源管理的重点。在当前测绘技术不断发展与完善的背景下，土地测绘技术在土地开发整理中的应用也越来越广泛，这对提高
不同于离线网络,占线网络具有实时性和不可逆性。因此对于占线网络设施选址问题,一方面为了快速而有效地响应客户,需要立即确定客户是否可以获得来自设施提供的服务。另一方
在建筑工程建设过程中，电气工程的建设是非常重要的，它运行的好坏直接决定了整个建筑工程的质量。智能化技术主要是应用在建筑电气工程的设备和故障的检测、设备的优化过程中，相