通信学报
通信學報
통신학보
JOURNAL OF CHINA INSTITUTE OF COMMUNICATIONS
2012年
z2期
189-195
,共7页
形式化分析%多方不可否认%时限性%增广CSP方法
形式化分析%多方不可否認%時限性%增廣CSP方法
형식화분석%다방불가부인%시한성%증엄CSP방법
基于逆向工程的思想,使用前期工作中提出的面向两方不可否认协议分析的增广 CSP 方法,对典型的Kremer-Markowitch 多方不可否认协议的安全性进行了探索性建模与分析.借助该分析成功发现此协议在满足不可否认性和公平性的同时却不具备时限性.这表明在适用于两方不可否认协议安全性验证的同时,增广CSP方法也可作为多方不可否认协议安全性验证的新方法.
基于逆嚮工程的思想,使用前期工作中提齣的麵嚮兩方不可否認協議分析的增廣 CSP 方法,對典型的Kremer-Markowitch 多方不可否認協議的安全性進行瞭探索性建模與分析.藉助該分析成功髮現此協議在滿足不可否認性和公平性的同時卻不具備時限性.這錶明在適用于兩方不可否認協議安全性驗證的同時,增廣CSP方法也可作為多方不可否認協議安全性驗證的新方法.
기우역향공정적사상,사용전기공작중제출적면향량방불가부인협의분석적증엄 CSP 방법,대전형적Kremer-Markowitch 다방불가부인협의적안전성진행료탐색성건모여분석.차조해분석성공발현차협의재만족불가부인성화공평성적동시각불구비시한성.저표명재괄용우량방불가부인협의안전성험증적동시,증엄CSP방법야가작위다방불가부인협의안전성험증적신방법.