一种改进的密码协议形式化模型  

An Improved Formal Model of Cryptographic Protocol

作　　者：张畅[1] 王亚弟[1] 韩继红[1] 郭渊博[1] 

机构地区：[1]解放军信息工程大学电子技术学院,河南郑州450004

出　　处：《软件学报》2007年第7期1746-1755,共10页Journal of Software

基　　金：国家自然科学基金Nos.60503012;90104005;90204012

摘　　要：多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型.MSR （multiset rewriting） model is a technique of protocol modeling based on multiset rewriting. According to the results of the current study, this model is not perfect. Since the intruder model of MSR model is not suitable for the verification of the protocol, it was improved. Using this model, the secrecy and authentication of the cryptographic protocols are described. The practice proves the improvement of the former model.

关 键 词：密码协议 秘密性 认证性 形式化验证 

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