电脑知识与技术
電腦知識與技術
전뇌지식여기술
COMPUTER KNOWLEDGE AND TECHNOLOGY
2008年
z2期
161-163
,共3页
SVO辑形式化分析%AKA协议%密钥协商
SVO輯形式化分析%AKA協議%密鑰協商
SVO집형식화분석%AKA협의%밀약협상
AKA协议是3G通讯中的一个重要安全协议.利用SVO逻辑对该协议进行形式化分析,以期发现其是否存在安全缺陷.运用信息隐藏的方法对该协议的缺陷进行了修正.另外指出SVO逻辑不能分析协议运行中的关键性明文对协议安全性的影响,以及不能分析旁听攻击这两个新的缺陷,并对SVO逻辑进行了扩展.
AKA協議是3G通訊中的一箇重要安全協議.利用SVO邏輯對該協議進行形式化分析,以期髮現其是否存在安全缺陷.運用信息隱藏的方法對該協議的缺陷進行瞭脩正.另外指齣SVO邏輯不能分析協議運行中的關鍵性明文對協議安全性的影響,以及不能分析徬聽攻擊這兩箇新的缺陷,併對SVO邏輯進行瞭擴展.
AKA협의시3G통신중적일개중요안전협의.이용SVO라집대해협의진행형식화분석,이기발현기시부존재안전결함.운용신식은장적방법대해협의적결함진행료수정.령외지출SVO라집불능분석협의운행중적관건성명문대협의안전성적영향,이급불능분석방은공격저량개신적결함,병대SVO라집진행료확전.
