安全的移动代码计算完整性检测协议

在假设移动代码可抽象为由函数构成的前提下，提出函数嵌入算法和代数同态加密算法，前者实现了计算完整性检测，后者可加密函数嵌入算法并具有抵抗已知明文攻击的能力。基于上述2种算法，设计移动代码计算完整性检测及其机密性保护协议。该协议能使检测函数和正常计算函数耦合在一起，无法被删除，完整性检测易于构造和实现。

Secure Protocol for Computational Integrity Checking of Mobile Code

On the assumption that mobile code is composed of functions, a function embedding algorithm is proposed to check computational integrity. An algebraic homomorphism encryption algorithm is proposed to encrypt the function embedding algorithm. The algebraic homomorphism can resist known plaintext attacks. Based on the above two algorithms, a protocol for checking computational integrity and protecting confidentiality is proposed. The protocol couples the checking functions with the normal computed functions, so that the checking functions can not be deleted. It is easy to be constructed and implemented.