[发明专利]保护以软件为媒介的程序和装置性态的联锁系统和方法

摘要

一种用于使软件防逆向工程的方法。将计算表达式中的至少一个第一常量(数学表达式等)用第二数学和逐位布尔混合表达式替代，第一常量比第二表达式更简单，并且第二表达式基于在第一常量(或表达式)中得到的值或者变量。对第二数学和逐位布尔混合表达式的求值产生以下述两种方式之一保留了第一常量的值的值：或者，具有第一常量的原始值或者第一表达式的结果的原始值，在这种情况下第二数学和逐位布尔混合表达式是从第一常量通过用数学恒等式对第一常量进行转换而获得的；或者，以编码形式，作为新的值，该新的值可以通过应用信息保留解码函数转换回到第一常量的原始值，在这种情况下，第二数学和逐位布尔混合表达式是从第一常量通过用根据数学恒等式的转换和根据信息保留解码函数的变换的组合修改第一常量来获得的。

主权项

1、一种用于使软件程序防逆向工程分析的改进方法，由此现有方法基于替换、修改或编码计算表达式或语句，不管是要保护所述计算表达式或者语句本身，还是使用所述计算表达式或者语句来使得控制流模糊或者防篡改，还是使用所述计算表达式或者语句来使得数据寻址模糊或者防篡改，还是使用所述计算表达式或者语句使得对数据的大型本体的访问模糊或者防篡改、还是将所述计算表达式或者语句用于前面列出的目的(计算保护、控制流保护、数据-寻址-保护或者对访问数据的大型本体的保护)的一些组合，该方法包括以下步骤：将所述软件程序的这种计算表达式或者语句中的至少一个第一常量、数学表达式、布尔表达式或者逐位布尔表达式用第二数学和逐位布尔混合表达式来替代，不管所述计算表达式或语句是源代码形式还是二进制代码形式，所述第一常量或表达式比所述第二表达式更简单，并且所述第二表达式基于在所述第一表达式中得出的值或者变量，其中，对所述第二数学和逐位布尔混合表达式的求值产生以以下任何一种方式保留了所述第一常量或者表达式的值的值：具有所述第一常量的原始值或者所述第一表达式的结果的原始值，在这种情况下所述第二数学和逐位布尔混合表达式是从所述第一常量或者表达式通过用数学恒等式转换所述第一常量或者表达式来获得的；和以编码形式，即，作为新的值，该新的值能够通过应用信息保留(即，双射)解码函数转换回所述第一常量或表达式的原始的所述值，在这种情况下，所述第二数学和逐位布尔混合表达式是从所述第一常量或表达式通过用根据数学恒等式的转换和根据信息保留(即，双射)编码函数的变换的组合来修改所述第一常量表达式而获得的。