10.3969/j.issn.1000-3428.2010.08.048
一种对MSR模型的新扩展
作为安全协议形式化建模方法之一的多集重写(MSR)模型虽然提供了基本的理论框架,但并不完善.针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使其能检测特定类型的攻击.给出安全属性的描述,并用实例验证扩展后的MSR模型中交换协议的非否认性和公平性.
多集重写模型、安全协议、非否认性、公平性
36
TP309(计算技术、计算机技术)
国家”863”计划基金资助项目2007AA01Z471
2010-05-31(万方平台首次上网日期,不代表论文的发表时间)
共3页
138-140