基于完整性验证的软件防篡改方案-计算机应用与软件.PDF

第３３卷第８期　　　 计算机应用与软件 Ｖｏｌ３３Ｎｏ．８ ２０１６年８月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ａｕｇ．２０１６ 基于完整性验证的软件防篡改方案 马巧梅　胡沙沙　陈够喜 （中北大学计算机与控制工程学院　山西太原０３００５１） 摘　要　　为了解决软件响应和验证易受攻击的问题，对现有的防篡改方案进行研究，提出一种基于完整性验证的防篡改模型 ＴＰＭ（ＴａｍｐｅｒＰｒｏｏｆｉｎｇＭｏｄｅｌ）。该方案将软件分为多个单元，采用多种加密方式加密软件，对程序的控制流进行完整性验证得到 Ｈａｓｈ值，通过隐藏在程序中的密钥生成函数，利用得到的哈希值、注册码和用户码来计算各个加密单元的解密密钥。理论分析和实 验结果表明，该模型无需修改底层硬件，易于实现，开销小且算法安全性高。 关键词　　防篡改　完整性验证　控制流　安全性 中图分类号　ＴＰ３　　　　文献标识码　Ａ　　　　ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１６．０８．０６９ ＳＯＦＴＷＡＲＥＴＡＭＰＥＲＰＲＯＯＦＩＮＧＳＣＨＥＭＥＢＡＳＥＤＯＮＩＮＴＥＧＲＩＴＹＣＨＥＣＫＩＮＧ ＭａＱｉａｏｍｅｉ　ＨｕＳｈａｓｈａ　ＣｈｅｎＧｏｕｘｉ （ＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒａｎｄＣｏｎｔｒｏｌＥｎｇｉｎｅｅｒｉｎｇ，ＮｏｒｔｈＵｎｉｖｅｒｓｉｔｙｏｆＣｈｉｎａ，Ｔａｉｙｕａｎ０３００５１，Ｓｈａｎｘｉ，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｔｏｓｏｌｖｅｔｈｅｐｒｏｂｌｅｍｔｈａｔｔｈｅｓｏｆｔｗａｒｅｒｅｓｐｏｎｓｅａｎｄｖｅｒｉｆｉｃａｔｉｏｎａｒｅｖｕｌｎｅｒａｂｌｅｔｏａｔｔａｃｋ，ｗｅｓｔｕｄｉｅｄｔｈｅｅｘｉｓｔｉｎｇｔａｍｐｅｒｐｒｏｏｆｉｎｇ ｓｃｈｅｍｅｓａｎｄｐｒｅｓｅｎｔｅｄａｎｉｎｔｅｇｒｉｔｙｃｈｅｃｋｉｎｇｂａｓｅｄｔａｍｐｅｒｐｒｏｏｆｉｎｇｍｏｄｅｌ．Ｔｈｅｓｃｈｅｍｅｄｉｖｉｄｅｓｔｈｅｓｏｆｔｗａｒｅｉｎｔｏｓｅｖｅｒａｌｕｎｉｔｓａｎｄｅｍｐｌｏｙｓ ｖａｒｉｏｕｓｅｎｃｒｙｐｔｉｏｎｍｅｔｈｏｄｓｔｏｅｎｃｒｙｐｔｓｏｆｔｗａｒｅ．ＢｙｃｏｎｄｕｃｔｉｎｇｉｎｔｅｇｒｉｔｙｃｈｅｃｋｉｎｇｏｎｔｈｅｃｏｎｔｒｏｌｆｌｏｗｏｆｔｈｅｐｒｏｇｒａｍｉｔｇｅｔｓｔｈｅＨａｓｈｖａｌｕｅ， ｔｈｅｎｔｈｒｏｕｇｈｔｈｅｋｅｙｇｅｎｅｒａｔｉｏｎｆｕｎｃｔｉｏｎｈｉｄｄｅｎｉｎｔｈｅｐｒｏｇｒａｍａｎｄｂｙｍａｋｉｎｇｕｓｅｏｆｔｈｅｄｅｒｉｖｅｄＨａｓｈｖａｌｕｅ，ｒｅｇｉｓｔｅｒｃｏｄｅａｎｄｕｓｅｒＩＤｉｔ ｃａｌｃｕｌａｔｅｓｔｈｅｄｅｃｒｙｐｔｉｏｎｋｅｙｓｏｆｅａｃｈｅｎｃｒｙｐｔｉｏｎｕｎｉｔ．Ｔｈｅｏｒｅｔｉｃａｌａｎａｌｙｓｉｓａｎｄｅｘｐｅｒｉｍｅｎｔａｌｒｅｓｕｌｔｓｄｅｍｏｎｓｔｒａｔｅｄｔｈａｔｔｈｅｍｏｄｅｌｄｏｅｓｎｏｔ ｎｅｅｄｔｏｍｏｄｉｆｙｔｈｅｕｎｄｅｒｌｙｉｎｇｈａｒｄｗａｒｅ，ｉｔｉｓｅａｓｙｔｏｉｍｐｌｅｍｅｎｔｗｉｔｈｓｍａｌｌｏｖｅｒｈｅａｄａｎｄｓｔｒｏｎｇａｌｇｏｒｉｔｈｍｓｅｃｕｒｉｔｙ． Ｋｅｙｗｏｒｄｓ　　Ｔａｍｐｅｒｐｒｏｏｆｉｎｇ　Ｉｎｔｅｇｒｉｔｙｃｈｅｃｋｉｎｇ　Ｃｏｎｔｒｏｌｆｌｏｗ　Ｓｅｃｕｒｉｔｙ 断程序是否被篡改。在目前的防篡改方案中，如隐式哈希和控 ０　引　言 制流检测都涉及与预期值比较，不合理的预期值预存方案将成 为攻击者的突破口，攻击者可以通过替换预期值从而成功通过 防篡改技术是通过软硬件措施防止软件被非法修改、分发 完整性验证。 和使用的一种技术和科学［１］ ［２］ 。现有防篡改技术分为两类 ：一 针对现有方案的不足，本文提出基于完整性验证的防篡改 类是静态防篡改技术；另一类是动态防