计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
21期
8-11
,共4页
形式化方法%计算方法%合理性定理%密码协议分析
形式化方法%計算方法%閤理性定理%密碼協議分析
형식화방법%계산방법%합이성정리%밀마협의분석
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理.通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性.
基于Abadi-Rowgaway的形式化加密的計算閤理性定理,提齣和證明瞭密碼協議形式化分析的計算閤理性定理.通過對群密鑰分配協議安全性的分析,說明定理對協議的可選擇攻擊具有較彊的分析能力,提齣瞭群密鑰分配協議的形式化方法與計算方法下安全性的形式化定義,併證明瞭其閤理性.
기우Abadi-Rowgaway적형식화가밀적계산합이성정리,제출화증명료밀마협의형식화분석적계산합이성정리.통과대군밀약분배협의안전성적분석,설명정리대협의적가선택공격구유교강적분석능력,제출료군밀약분배협의적형식화방법여계산방법하안전성적형식화정의,병증명료기합이성.