公开(公告)号：CN107590020B

公开(公告)日：2020-11-27

申请号：CN201710574075.4

申请日：2017-07-14

Applicant: 同济大学

Inventor： 薛小平 ,  周航 ,  王小平 ,  张芳 ,  张春花 ,  张令聪

IPC: G06F11/10

Abstract: 本发明涉及一种基于差异化编码和语句签名的可信计算方法，具体包括以下步骤：对源代码分别进行变量编码、运算编码和分配语句签名操作；采用编译器对代码进行编译，输出安全二进制代码，分配语句签名操作包括：定义一个全局变量存储运行时签名；对复合表达式进行拆分后进行签名语句分配，若不是复合表达式，直接为当前运算表达式分配一个唯一的签名语句；计算当前表达式的签名和上一条表达式的签名的差值获得签名补偿；根据签名补偿值，更新运行时签名值。与现有技术相比，本发明具有能够通过系数的数学关系简化编码和解码步骤、减少性能开销、提升程序运行速度和保证安全性能符合SIL4的要求等优点。

公开(公告)号：CN107590020A

公开(公告)日：2018-01-16

申请号：CN201710574075.4

申请日：2017-07-14

Applicant: 同济大学

Inventor： 薛小平 ,  周航 ,  王小平 ,  张芳 ,  张春花 ,  张令聪

IPC: G06F11/10

Abstract: 本发明涉及一种基于差异化编码和语句签名的可信计算方法，具体包括以下步骤：对源代码分别进行变量编码、运算编码和分配语句签名操作；采用编译器对代码进行编译，输出安全二进制代码，分配语句签名操作包括：定义一个全局变量存储运行时签名；对复合表达式进行拆分后进行签名语句分配，若不是复合表达式，直接为当前运算表达式分配一个唯一的签名语句；计算当前表达式的签名和上一条表达式的签名的差值获得签名补偿；根据签名补偿值，更新运行时签名值。与现有技术相比，本发明具有能够通过系数的数学关系简化编码和解码步骤、减少性能开销、提升程序运行速度和保证安全性能符合SIL4的要求等优点。