佳木斯大学学报（自然科学版）
佳木斯大學學報（自然科學版）
가목사대학학보（자연과학판）
JOURNAL OF JIAMUSI UNIVERSITY (NATURAL SCIENCE EDITION)
2008年
1期
30-32,44
,共4页
JFK协议%密钥交换%SPIN%模型检测
JFK協議%密鑰交換%SPIN%模型檢測
JFK협의%밀약교환%SPIN%모형검측
快速密钥交换协议JFK是一种新型的密钥交换协议,它的安全性引起了人们的重视.论文对密钥交换协议交换过程进行分析的基础上,使用Promela语言描述了协议模型,并用LTL刻画了需要满足的性质,最后对协议验证结果分析,表明该协议满足其设计目标.
快速密鑰交換協議JFK是一種新型的密鑰交換協議,它的安全性引起瞭人們的重視.論文對密鑰交換協議交換過程進行分析的基礎上,使用Promela語言描述瞭協議模型,併用LTL刻畫瞭需要滿足的性質,最後對協議驗證結果分析,錶明該協議滿足其設計目標.
쾌속밀약교환협의JFK시일충신형적밀약교환협의,타적안전성인기료인문적중시.논문대밀약교환협의교환과정진행분석적기출상,사용Promela어언묘술료협의모형,병용LTL각화료수요만족적성질,최후대협의험증결과분석,표명해협의만족기설계목표.
