收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于函数级控制流监控的软件防篡改

张贵民  李清宝  王炜  朱毅  
【摘要】:软件防篡改是软件保护的重要手段。针对由缓冲区溢出等攻击导致的控制流篡改,提出一种基于函数级控制流监控的软件防篡改方法。以函数级控制流描述软件正常行为,利用二进制重写技术在软件函数入口处植入哨兵,由监控模块实时获取哨兵发送的软件运行状态,通过对比运行状态和预期值判断程序是否被篡改。实现了原型系统并对其进行了性能分析,实验结果表明,基于函数级控制流监控的软件防篡改方法能有效检测对控制流的篡改攻击,无误报且开销较低,其实现不依赖程序源码,无需修改底层硬件和操作系统,监控机制与被保护软件隔离,提高了安全性。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 王曙霞;王因传;王喆;;Windows可信计算实现研究[J];计算机与数字工程;2011年05期
2 刘皖;谭明;陈兴蜀;;TPM的两个主要密码授权协议的安全性分析与改进[J];计算机科学;2008年03期
3 韩春林;叶里莎;;基于可信计算平台的认证机制的设计[J];通信技术;2010年07期
4 罗芳;徐宁;孟璟;刘雪峰;;可信计算平台中Linux加密文件系统的设计与实现[J];信息工程大学学报;2008年02期
5 崔奇;石文昌;;一种通过应用程序验证TPM标准符合性的方法(英文)[J];中国科学院研究生院学报;2008年05期
6 詹静;张焕国;徐士伟;向騻;;基于状态机理论的可信平台模块测试研究[J];武汉大学学报(信息科学版);2008年10期
7 周必水;姚振宇;吴卿;;基于信任区技术的可信移动电子政务系统设计[J];杭州电子科技大学学报;2009年01期
8 马新强;黄羿;李丹宁;;可信计算发展研究[J];计算机应用;2009年04期
9 郭益林;郑杰;吴爱华;;可信计算[J];信息系统工程;2009年08期
10 徐士伟;张焕国;肖瑾瑜;严飞;;基于中国邮递员问题的可信平台模块测试序列生成优化研究[J];武汉大学学报(理学版);2010年02期
11 卿斯汉;周启明;杜虹;;可信计算研究进展分析[J];电信科学;2011年01期
12 林小茶;李光;;基于嵌入式技术的信任根研究[J];计算机工程与应用;2007年16期
13 陈小峰;冯登国;;一种多信任域内的直接匿名证明方案[J];计算机学报;2008年07期
14 刘海雷;王震宇;马鸣锦;刘鑫杰;;嵌入式可信终端TPM接口的研究与实现[J];计算机工程与设计;2008年13期
15 章勤;刘树明;;基于可信计算平台的加密文件系统[J];微处理机;2008年01期
16 刘毅;沈昌祥;;一种可信软件栈的兼容性改进方案[J];武汉大学学报(理学版);2009年01期
17 李超;王红胜;陈军广;张剑炜;;基于PCI接口的可信平台模块研究与设计[J];微计算机信息;2009年09期
18 刘安战;韩玉民;;可信平台模块数据保护能力测试与分析[J];计算机应用;2010年05期
19 陈利;朱变;;一种改进的电子现金方案[J];计算机应用研究;2010年12期
20 宋曰聪;李敏;柳波;刘晓颖;;基于可信计算理论的金融税控收款安全体系[J];兵工自动化;2007年05期
中国重要会议论文全文数据库 前10条
1 李超;浮欣;;可信计算技术及管理策略比较研究[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
2 周振柳;许榕生;;可信计算体系与技术研究[A];第十三届全国核电子学与核探测技术学术年会论文集(下册)[C];2006年
3 夏玉辉;张威;万琳;王洪艳;;一种基于控制流图的静态测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 夏玉辉;张威;万琳;王洪艳;;不可达代码的一种静态测试方法[A];第四届中国测试学术会议论文集[C];2006年
5 万琳;刘娟;金丽亚;;未初始化变量故障的静态分析[A];第四届中国测试学术会议论文集[C];2006年
6 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[A];第六届中国测试学术会议论文集[C];2010年
7 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
8 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
9 栾静;贺英杰;;软件测试方法及用例的设计分析[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(上册)[C];2010年
10 李光;孙慈;卓为培;沈锡刚;;航空发动机总体计算机辅助设计(EP)系统的数据库技术[A];第十一届全国数据库学术会议论文集[C];1993年
中国博士学位论文全文数据库 前10条
1 陈军;可信平台模块安全性分析与应用[D];中国科学院研究生院(计算技术研究所);2006年
2 张平;并行化编译器中并行程序自动生成和性能优化技术研究[D];解放军信息工程大学;2006年
3 姜淑娟;异常传播分析技术及其应用研究[D];东南大学;2006年
4 苏铭;对IA-64结构特性优化代码的二进制翻译技术研究[D];解放军信息工程大学;2006年
5 毛澄映;面向对象程序分析与测试技术研究[D];华中科技大学;2006年
6 胡燕;编译过程安全性基础研究[D];中国科学技术大学;2007年
7 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
8 缪力;依赖性分析及其在软件测试中的应用[D];湖南大学;2006年
9 刘孜文;基于可信计算的安全操作系统研究[D];中国科学技术大学;2010年
10 刘谦;面向云计算的虚拟机系统安全研究[D];上海交通大学;2012年
中国硕士学位论文全文数据库 前10条
1 杨广;控制流提取模型及软件可靠性评价应用研究[D];大连理工大学;2013年
2 苏涤生;可信计算开发环境的设计与实现[D];电子科技大学;2007年
3 崔晨;固件代码控制流图恢复技术研究[D];解放军信息工程大学;2012年
4 丁如意;可信计算平台的匿名认证研究[D];西安理工大学;2008年
5 董九山;基于加密自检测的软件防篡改技术的研究与实现[D];华中科技大学;2007年
6 代星科;可信计算中基于JVM构建完整信任链的研究与设计[D];电子科技大学;2008年
7 邢彬;虚拟域可信链的设计与实现[D];北京交通大学;2009年
8 吴正华;基于TPM的文件加密系统的设计与实现[D];北京邮电大学;2009年
9 韩红军;基于控制流图的Java语言动态例化的研究[D];北京工业大学;2002年
10 唐彬;基于可信计算的PMAS终端的研究与设计[D];解放军信息工程大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978