2014安全的程序混淆研究综述_成荣.pdfVIP

技术研究2014年第08期 doi ：10.3969/j.issn.1671-1122.2014.08.002 安全的程序混淆研究综述 成荣，张方国 （中山大学信息科学与技术学院，广东广州 510006） 摘　要 ：程序混淆可以理解为一个编译器，它将源程序转化成一种不被理解的形式，但 依然保持其功能特性。混淆的概念最早在代码混淆领域被提出，在软件保护、数字水印等领 域有着实际的应用，但缺乏严格的安全分析与证明。混淆在密码学领域的研究最早由 Barak 等人引入，并提出了虚拟黑盒混淆的形式化定义及安全性要求。对密码函数的安全通用混淆 研究具有非常重要的理论意义，其与随机预言机、全同态加密、零知识证明等其他密码原语 有着紧密的联系。对具体密码函数的安全混淆在云计算、代理计算等领域也有着实际的应用 价值。近年来，安全的程序混淆研究成为当前密码研究领域的一个热点。由于在 Barak 提出 的标准定义下已证明不存在通用的安全混淆，因此后续的程序混淆方面的研究工作主要集中 在 3 个方面 ：对具体函数类的混淆实现、混淆的新模型研究以及混淆与其他密码模型的关系 研究及应用。文章给出了安全的程序混淆的一个研究综述，对对具体函数类的安全混淆、混 淆模型的研究以及混淆的推广和应用都分别给出了一个较为详细的介绍。 关键词 ：密码学 ；程序混淆；虚拟黑盒特性 中图分类号 ：TP309 文献标识码： A 文章编号 ：1671-1122（2014）08-0006-11 An Overview on the Secure Program Obfuscation CHENG Rong, ZHANG Fang-guo (School of Information Science and Technology, Sun Yat-sen University, Guangzhou Guangdong 510006, China) Abstract: Program obfuscation is a compiler that transfers the original program into an unintelligible form while preserving the functionality. The concept of obfuscation was first introduced in code obfuscation, which is used for software protection, digital watermarking, etc. However, it lacks formal analysis and security proof. Obfuscation for cryptographic purposes was proposed by Barak et al., and they gave the formal de? nition of `virtual black-box obfuscation and its security requirements. General obfuscation of cryptographic functions has important meaning in theoretical research and