| 快速密钥交换协议JFK的SPIN模型检测 |
| |
| 引用本文： | 刘俏威,赵佳彬,陈育德.快速密钥交换协议JFK的SPIN模型检测[J].佳木斯大学学报,2008,26(1):30-32,44. |
| |
| 作者姓名： | 刘俏威 赵佳彬 陈育德 |
| |
| 作者单位： | 南昌大学，佳木斯大学，佳木斯大学 江西南昌330031，佳木斯大学，黑龙江佳木斯154007，黑龙江佳木斯154007，黑龙江佳木斯154007 |
| |
| 摘 要： | 快速密钥交换协议JFK是一种新型的密钥交换协议,它的安全性引起了人们的重视.论文对密钥交换协议交换过程进行分析的基础上,使用Promela语言描述了协议模型,并用LTL刻画了需要满足的性质,最后对协议验证结果分析,表明该协议满足其设计目标.
|
| 关 键 词： | JFK协议 密钥交换 SPIN 模型检测 |
| 文章编号： | 1008-1402（2008）01-0030-03 |
| 收稿时间： | 2007-12-13 |
| 修稿时间： | 2007年12月13 |
Model Checking of Just Fast Keying Protocol via SPIN |
| |
| LIU Qiao-wei,ZHAO Jia-bin,CHEN Yu-de.Model Checking of Just Fast Keying Protocol via SPIN[J].Journal of Jiamusi University(Natural Science Edition),2008,26(1):30-32,44. |
| |
| Authors: | LIU Qiao-wei ZHAO Jia-bin CHEN Yu-de |
| |
| Abstract: | Just Fast Keying is a new key exchange protocol and many researchers have paid attention to it.Base on the analysis of just fast keying exchange process,this article built the protocol model with promela.The required properties of the protocol were depicted with LTL. |
| |
| Keywords: | JFK protocol keying exchange SPIN model checking |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
