计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2010年
14期
114-116
,共3页
函数嵌入%计算完整性检测%代数同态%函数隐藏
函數嵌入%計算完整性檢測%代數同態%函數隱藏
함수감입%계산완정성검측%대수동태%함수은장
在假设移动代码可抽象为由函数构成的前提下,提出函数嵌入算法和代数同态加密算法,前者实现了计算完整性检测,后者可加密函数嵌入算法并具有抵抗己知明文攻击的能力.基于上述2种算法,设计移动代码计算完整性检测及其机密性保护协议.该协议能使检测函数和正常计算函数耦合在一起,无法被删除,完整性检测易于构造和实现.
在假設移動代碼可抽象為由函數構成的前提下,提齣函數嵌入算法和代數同態加密算法,前者實現瞭計算完整性檢測,後者可加密函數嵌入算法併具有牴抗己知明文攻擊的能力.基于上述2種算法,設計移動代碼計算完整性檢測及其機密性保護協議.該協議能使檢測函數和正常計算函數耦閤在一起,無法被刪除,完整性檢測易于構造和實現.
재가설이동대마가추상위유함수구성적전제하,제출함수감입산법화대수동태가밀산법,전자실현료계산완정성검측,후자가가밀함수감입산법병구유저항기지명문공격적능력.기우상술2충산법,설계이동대마계산완정성검측급기궤밀성보호협의.해협의능사검측함수화정상계산함수우합재일기,무법피산제,완정성검측역우구조화실현.
