一种对MSR模型的新扩展

• 作者: 刘楠 朱文也 陈卫红 陈晨
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 多集重写模型 安全协议 非否认性 公平性
• 年，卷（期）: 2010,（8）
• 所属期刊栏目: 安全技术
• 页码范围: 138-140
• 页数: 3页
• 分类号: TP309
• 字数: 4296字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2010.08.048

摘要

作为安全协议形式化建模方法之一的多集重写(MSR)模型虽然提供了基本的理论框架,但并不完善.针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使其能检测特定类型的攻击.给出安全属性的描述,并用实例验证扩展后的MSR模型中交换协议的非否认性和公平性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈卫红	信息工程大学信息工程学院	10	24	3.0	4.0
2	刘楠	信息工程大学信息工程学院	13	29	3.0	4.0
3	陈晨	信息工程大学信息工程学院	9	13	2.0	3.0
4	朱文也	信息工程大学信息工程学院	3	5	1.0	2.0