基于GSPM的安全协议新鲜性分析

• 作者: 周璐 顾永跟
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 新鲜性 一般安全协议模型
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 信息安全
• 页码范围: 143-145
• 页数: 3页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.11.043

摘要

安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求.GSPM是安全协议形式化分析的一般模型.在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周璐	上海交通大学计算机科学与技术系	6	4	1.0	1.0
2	顾永跟	湖州师范学院计算机科学与技术系	29	121	6.0	9.0