首页> 中文期刊> 《佳木斯大学学报：自然科学版》 >快速密钥交换协议JFK的SPIN模型检测

快速密钥交换协议JFK的SPIN模型检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

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

摘要

快速密钥交换协议JFK是一种新型的密钥交换协议,它的安全性引起了人们的重视.论文对密钥交换协议交换过程进行分析的基础上,使用Promela语言描述了协议模型,并用LTL刻画了需要满足的性质,最后对协议验证结果分析,表明该协议满足其设计目标.

著录项

来源
《佳木斯大学学报：自然科学版》 |2008年第1期|30-32|共4页
作者
刘俏威; 赵佳彬; 陈育德;
展开▼
作者单位

南昌大学;

佳木斯大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
胀协议; 密钥交换; SPIN; 模型检测;

相似文献

中文文献
外文文献
专利

1. ESpin：基于 SPIN 的 Eclipse模型检测环境 [J] . 吕威 ,黄志球 ,陈哲 . 计算机工程与应用 . 2013,第007期
2. 停等式ARQ协议的SPIN模型检测 [J] . 黄丽丽 . 福建工程学院学报 . 2018,第003期
3. 基于SPIN的Linux管道模型检测研究 [J] . SU Yu-xing ,WANG Jin-bo . 电子设计工程 . 2018,第023期
4. NSSK协议的SPIN模型检测 [J] . 黄鹏 . 软件导刊 . 2017,第010期
5. NSSK协议的SPIN模型检测 [J] . 黄鹏 . 软件导刊 . 2017,第010期
6. ESpin:基于SPIN的Eclipse模型检测环境 [C] . LV Wei ,吕威 ,HUANG Zhi-Qiu . 第十一届全国软件与应用学术会议（NASAC2012） . 2012
7. 快速Internet密钥交换协议（JFK）的改进与实现 [A] . 林鹏 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号