计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
31期
86-90,94
,共6页
认证协议%模幂运算%散列函数%SVO逻辑
認證協議%模冪運算%散列函數%SVO邏輯
인증협의%모멱운산%산렬함수%SVO라집
提出一种新的用于移动通信的相互认证和密钥协商方法--NMAKAP.NMAKAP采用基于阿贝尔群的模幂运算和散列函数进行身份认证,取代了传统公钥密码算法和数字签名方案,降低了协议的计算开销和实现成本.在SVO逻辑系统证明下,NMAKAP协议是安全的.SVO逻辑是安全协议形式化分析的一种重要方法,文章扩展了SVO逻辑分析散列函数的逻辑语法.SVO逻辑方法的认证目标被发现存在中间人攻击,为此提出了新的认证目标,并分析了新目标的安全性.分析了一种可用于移动通信的认证协议--MAKEP.MAKEP协议通过预计算,大大降低了移动设备的计算量,但被认为存在Hijacking攻击.分析表明针对原MAKEP协议的Hijacking攻击并不成立,但该协议被发现存在未知共享密钥攻击,为此提出了改进意见.
提齣一種新的用于移動通信的相互認證和密鑰協商方法--NMAKAP.NMAKAP採用基于阿貝爾群的模冪運算和散列函數進行身份認證,取代瞭傳統公鑰密碼算法和數字籤名方案,降低瞭協議的計算開銷和實現成本.在SVO邏輯繫統證明下,NMAKAP協議是安全的.SVO邏輯是安全協議形式化分析的一種重要方法,文章擴展瞭SVO邏輯分析散列函數的邏輯語法.SVO邏輯方法的認證目標被髮現存在中間人攻擊,為此提齣瞭新的認證目標,併分析瞭新目標的安全性.分析瞭一種可用于移動通信的認證協議--MAKEP.MAKEP協議通過預計算,大大降低瞭移動設備的計算量,但被認為存在Hijacking攻擊.分析錶明針對原MAKEP協議的Hijacking攻擊併不成立,但該協議被髮現存在未知共享密鑰攻擊,為此提齣瞭改進意見.
제출일충신적용우이동통신적상호인증화밀약협상방법--NMAKAP.NMAKAP채용기우아패이군적모멱운산화산렬함수진행신빈인증,취대료전통공약밀마산법화수자첨명방안,강저료협의적계산개소화실현성본.재SVO라집계통증명하,NMAKAP협의시안전적.SVO라집시안전협의형식화분석적일충중요방법,문장확전료SVO라집분석산렬함수적라집어법.SVO라집방법적인증목표피발현존재중간인공격,위차제출료신적인증목표,병분석료신목표적안전성.분석료일충가용우이동통신적인증협의--MAKEP.MAKEP협의통과예계산,대대강저료이동설비적계산량,단피인위존재Hijacking공격.분석표명침대원MAKEP협의적Hijacking공격병불성립,단해협의피발현존재미지공향밀약공격,위차제출료개진의견.
