[发明专利]基于冗余编码的变量签名唯一性安全处理方法

权利要求书

1.一种基于冗余编码的变量签名唯一性安全处理方法，其特征在于，包括以下步骤：

1)按照签名生成算法产生签名；

2)输入待编码的文件，判断待编码的语句的类型，为每个变量分配或计算签名；

3)对步骤2)得到的签名做签名唯一性检查，如果该签名与已经分配的签名相同，则转向步骤4)，否则转向步骤5)；

4)从签名表中重新取一个签名分配给该变量，再转向步骤3)；

5)存储经过签名唯一性检查的签名，并判断编码是否结束，如果没有到达待编码文件的结尾，则转向步骤2)，否则转向步骤6)；

6)结束。

2.根据权利要求1所述的一种基于冗余编码的变量签名唯一性安全处理方法，其特征在于，所述的步骤2)具体为：

21)若语句为变量定义或声明，则从步骤1)生成的签名表中分配一个签名给该变量；

22)若语句为基本运算，则判断该基本运算属于哪种运算，并按照相应算法的签名方式计算签名；

23)若语句为数组运算，判断其是数组赋值运算还是数组取值运算，如果是数组赋值运算，则按数组赋值运算的签名计算方式计算签名；如果是数组取值运算，则按数组取值运算的签名计算方式计算签名。

2.4)若语句为分支、循环结构，判断是分支结构还是循环结构，如果是分支结构，则按分支结构的签名计算方式计算签名；如果为循环结构，则按循环结构的签名计算方式计算签名；

2.5)若语句为函数调用，判断其是模块函数调用还是计算函数调用，如果为模块函数调用，则按模块函数调用的签名计算方式计算签名；如果为计算函数调用，则按计算函数调用的签名计算方式计算签名。

3.根据权利要求2所述的一种基于冗余编码的变量签名唯一性安全处理方法，其特征在于，所述的步骤22)判断该基本运算属于哪种运算，并按照相应算法的签名方式计算签名具体为：

如果是加法运算，则按加法运算的签名计算方式计算签名；

如果是减法运算，则按减法运算的签名计算方式计算签名；

如果是乘法运算，则按乘法运算的签名计算方式计算签名；

如果是除法运算，则按除法运算的签名计算方式计算签名；

如果是逻辑与运算，则按逻辑与运算的签名计算方式计算签名；

如果是逻辑或运算，则按逻辑或运算的签名计算方式计算签名；

如果是逻辑非运算，则按逻辑非运算的签名计算方式计算签名；

如果是左移运算，则按左移运算的签名计算方式计算签名；

如果是右移运算，则按右移运算的签名计算方式计算签名。