10.3969/j.issn.1671-1122.2014.08.002
安全的程序混淆研究综述
程序混淆可以理解为一个编译器，它将源程序转化成一种不被理解的形式，但依然保持其功能特性。混淆的概念最早在代码混淆领域被提出，在软件保护、数字水印等领域有着实际的应用，但缺乏严格的安全分析与证明。混淆在密码学领域的研究最早由Barak等人引入，并提出了虚拟黑盒混淆的形式化定义及安全性要求。对密码函数的安全通用混淆研究具有非常重要的理论意义，其与随机预言机、全同态加密、零知识证明等其他密码原语有着紧密的联系。对具体密码函数的安全混淆在云计算、代理计算等领域也有着实际的应用价值。近年来，安全的程序混淆研究成为当前密码研究领域的一个热点。由于在Barak提出的标准定义下已证明不存在通用的安全混淆，因此后续的程序混淆方面的研究工作主要集中在3个方面：对具体函数类的混淆实现、混淆的新模型研究以及混淆与其他密码模型的关系研究及应用。文章给出了安全的程序混淆的一个研究综述，对对具体函数类的安全混淆、混淆模型的研究以及混淆的推广和应用都分别给出了一个较为详细的介绍。
密码学、程序混淆、虚拟黑盒特性
TP309(计算技术、计算机技术)
国家自然科学基金[61379154, U1135001]、高等学校博士学科点博导类专项科研基金20120171110027
2014-09-16（万方平台首次上网日期，不代表论文的发表时间）
共11页
6-16
