一种改进的密码协议形式化模型
An Improved Formal Model of Cryptographic Protocol作者机构：解放军信息工程大学电子技术学院河南郑州450004
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2007年第18卷第7期
页 面：1746-1755页
核心收录：
学科分类：0839[工学-网络空间安全] 08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金Nos.60503012 90104005 90204012
摘 要：多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型.
维普期刊数据库
同方期刊数据库