首页> 中文会议>2008年全国开放式分布与并行计算学术年会 >NSPK协议的Spin模型检测

NSPK协议的Spin模型检测

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《2008年全国开放式分布与并行计算学术年会》|2008年|58-6064|共4页
会议地点扬州
作者

展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类通信规程、通信协议;
关键词
模型检测; NSPK协议; Spin模型; 认证密码协议;

相似文献

中文文献
外文文献
专利

1. NSPK协议的Spin模型检测 [J] . 陈道喜 ,张广泉 ,陈冬火 . 微电子学与计算机 . 2008,第10期
2. 停等式ARQ协议的SPIN模型检测 [J] . 黄丽丽 . 福建工程学院学报 . 2018,第003期
3. NSSK协议的SPIN模型检测 [J] . 黄鹏 . 软件导刊 . 2017,第010期
4. NSSK协议的SPIN模型检测 [J] . 黄鹏 . 软件导刊 . 2017,第010期
5. 基于SPIN的Andrew Secure RPC协议并行攻击模型检测 [J] . 肖美华 ,朱科 ,马成林 . 计算机科学 . 2015,第007期
6. 基于SPIN的SSL 3.0握手协议模型检测 [C] . 程莹 ,康汶 . 第七届全国Web信息系统及其应用学术会议、第五届全国语义Web与本体论学术研讨会、第四届全国电子政务技术及应用学术研讨会 . 2010
7. 基于模型检测工具SPIN的安全协议分析和验证 [A] . 孙守卿 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号