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

关键词: 函数嵌入, 计算完整性检测, 代数同态, 函数隐藏

Abstract: 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.

Key words: function embedding, computational integrity checking, algebraic homomorphism, function hiding

中图分类号: 

• TP309.2