[发明专利]用于隐藏程序执行的系统、方法和计算机存储介质

说明书

提供了一种用于隐藏程序的变量集合的变化的系统。值表示构件（902）借助于表达r_i表示变量v₁,v₂,...,v_n中的变量v_i的值w_i，其中w是集合W的元素，其中并且r_i是表达的集合的元素，其中σ_i是状态变量，该状态变量为集合Σ的元素并且向w_i的表达r_i提供冗余，并且是从W×Σ到预定集合的一一密码映射。动作表示构件（903）借助于在V'上的动作和在V\V'上的动作表示V的子集V'中的变量的值上的动作，以获得更新的表达。在V'上的动作改变变量的集合中的每一个变量v_j的表达r_j。

技术领域

本发明涉及隐藏程序执行的细节。更特别地，本发明涉及隐藏条件运算。更特别地，本发明涉及在包含条件计算的程序中隐藏程序流和数据流。

背景技术

可以利用表驱动方法实现加密值的计算，不使用暴露它们的功能的运算符。程序代码、即其运算可以通过使用查找表来隐藏。将这些表应用于加密数据给出了加密结果、隐藏的运算的结果。然而，辨识像比较（,=,...）那样的运算符是相当容易的，因为那些指令被限于数字，典型地导致控制流的改变，并且它们的结果是加密的布尔类型的。如果此加密的布尔型保卫条件运算，例如在if-then或if-then-else构造的情况下，攻击者可以从控制流辨识运算的各方面。进一步地，攻击者可以创建对被比较的加密值的排序。最后，这可以导致破解加密。

在软件程序中，执行比较通常是必要的。例如，为了检查是否已经被达到某阈值或者是否某输入等于预定值。在混淆程序中，这样的比较可以帮助攻击者破解编码。

US 7,809,135 B2公开了与增加具有密码功能的软件所使用的密钥的密码安全性有关的方法和系统。这是通过增加软件的数学复杂度来进行的。首先确定软件所使用的组件和函数，并且使用这些组件、函数和它们之间交换的数据，使得软件对分析的抵抗性更强。在增加分析抵抗力中使用的方法被分组为3种一般类型：调节组件之间交换的信息，将某些组件用不同但相关的组件代替，以及调节组件之间的数据流。

发明内容

将会有利的是，在程序的执行期间，具有改进的方法和系统以防止信息从程序中泄漏。