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

Secure Protocol for Computational Integrity Checking of Mobile Code

作　　者：陈良[1,2] 高成敏[2] 

机构地区：[1]华南理工大学计算机科学与工程学院,广州510640 [2]广东警官学院计算机系,广州510232

出　　处：《计算机工程》2010年第14期114-116,共3页Computer Engineering

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

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

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]