一种对MSR模型的新扩展  

New Expanding for MSR Model

作　　者：陈晨[1] 朱文也[1] 陈卫红[1] 刘楠[1] 

机构地区：[1]信息工程大学信息工程学院,郑州450002

出　　处：《计算机工程》2010年第8期138-140,共3页Computer Engineering

基　　金：国家"863"计划基金资助项目(2007AA01Z471)

摘　　要：作为安全协议形式化建模方法之一的多集重写(MSR)模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使其能检测特定类型的攻击。给出安全属性的描述,并用实例验证扩展后的MSR模型中交换协议的非否认性和公平性。As a method of security protocols formal modeling,MultiSet Rewriting（MSR） model offers an academic scheme,but is not perfect.Aiming at the lack of checking in type flaw,this paper improves the MSR model,expands the content of type,enriches the deduction rule,so that it can detect a certain type of attackand.It describes the security attributes,and the examples verify the non-repudiation and fairness of the exchange protocols based on MSR model.

关 键 词：多集重写模型 安全协议 非否认性 公平性 

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