计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2012年
2期
59-62
,共4页
BSW逻辑%IKEv2协议%中间人攻击%预共享密钥
BSW邏輯%IKEv2協議%中間人攻擊%預共享密鑰
BSW라집%IKEv2협의%중간인공격%예공향밀약
基于BSW逻辑对互联网密钥交换协议(IKEv2)进行了形式化分析,证明协议在预共享密钥认证方式下存在中间人攻击,提出一个改进方案,并利用扩展的BSW逻辑分析了改进后的协议能够抵御中间人攻击,且能够满足协议的认证性、秘密性和完整性.
基于BSW邏輯對互聯網密鑰交換協議(IKEv2)進行瞭形式化分析,證明協議在預共享密鑰認證方式下存在中間人攻擊,提齣一箇改進方案,併利用擴展的BSW邏輯分析瞭改進後的協議能夠牴禦中間人攻擊,且能夠滿足協議的認證性、祕密性和完整性.
기우BSW라집대호련망밀약교환협의(IKEv2)진행료형식화분석,증명협의재예공향밀약인증방식하존재중간인공격,제출일개개진방안,병이용확전적BSW라집분석료개진후적협의능구저어중간인공격,차능구만족협의적인증성、비밀성화완정성.
