%0 Journal Article
%T 一种改进的密码协议形式化模型
%A 张畅
%A 王亚弟
%A 郭渊博
%A 韩继红
%J -
%D 2007
%X 多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型
%K 密码协议 秘密性 认证性 形式化验证
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20070719&flag=1