NSPK协议的Spin模型检测

摘要：

NSPK协议是一个经典的认证密码协议。通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具spin进行验证,进而生成入侵者的攻击序列.

关键词： 模型检测 NSPK协议 Spin模型 认证密码协议

作者: 陈道喜 张广泉 陈冬火

作者单位: 苏州大学计算机科学与技术学院,江苏,苏州,215006

会议类型: 国内会议

会议名称: 2008年全国开放式分布与并行计算学术年会

会议地点: 扬州

会议语种:中文

页码: 58-60,64

在线出版日期: 2008-10-25（万方平台首次上网日期，不代表论文的发表时间）