计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2006年
z2期
275-279
,共5页
安全协议%SVO逻辑%IKE2
安全協議%SVO邏輯%IKE2
안전협의%SVO라집%IKE2
现有的IPSec密钥交换标准存在着若干安全漏洞,为了解决相关的安全及应用问题,IETF提出了IKE2协议.应用SVO逻辑对IKE2协议进行了形式化分析,证明了IKE2协议的密钥交换和认证安全性.对IKE2协议的分析也证明了SVO逻辑可用于分析基于Diffie-Hellman交换的复杂安全协议.
現有的IPSec密鑰交換標準存在著若榦安全漏洞,為瞭解決相關的安全及應用問題,IETF提齣瞭IKE2協議.應用SVO邏輯對IKE2協議進行瞭形式化分析,證明瞭IKE2協議的密鑰交換和認證安全性.對IKE2協議的分析也證明瞭SVO邏輯可用于分析基于Diffie-Hellman交換的複雜安全協議.
현유적IPSec밀약교환표준존재착약간안전루동,위료해결상관적안전급응용문제,IETF제출료IKE2협의.응용SVO라집대IKE2협의진행료형식화분석,증명료IKE2협의적밀약교환화인증안전성.대IKE2협의적분석야증명료SVO라집가용우분석기우Diffie-Hellman교환적복잡안전협의.