中文会议：
2008年全国开放式分布与并行计算学术年会论文集
会议日期：
2008-10-25
会议地点：
扬州
主办单位：
中国计算机学会
作 者：
;
;
;
机构地区：
苏州大学计算机科学与技术学院
出 处：
《2008年全国开放式分布与并行计算学术年会》
摘 要：
NSPK协议是一个经典的认证密码协议。通过建立该协议的Promela模型,采用线性时序逻辑描述模型性质,并用模型检测工具spin进行验证,进而生成入侵者的攻击序列.
关 键 词：
模型检测
协议
模型
认证密码协议
分 类 号：
[TN]
领 域：
[电子电信]
