计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2008年
10期
2493-2495
,共3页
挑战-应答协议%串空间%对称密码体制%非对称密码体制%认证测试方法%互认证性%测试元素
挑戰-應答協議%串空間%對稱密碼體製%非對稱密碼體製%認證測試方法%互認證性%測試元素
도전-응답협의%천공간%대칭밀마체제%비대칭밀마체제%인증측시방법%호인증성%측시원소
挑战-应答协议只有满足特定的安全条件才能保证实现其认证目标,用串空间模型对满足约束条件的协议形式进行建模,分别在对称和非对称密码两种密码体制下用认证测试方法对双方的互认证性进行形式化地分析,找出协议的漏洞及其形成的原因.凭借测试元素进一步完善不同密码体制下挑战-应答协议的约束条件,以保证其实现互认证的要求,并为设计更复杂的认证协议提供依据.同时也从另一角度证明了基于串空间模型的认证测试方法在协议的形式化分析领域的重要价值.
挑戰-應答協議隻有滿足特定的安全條件纔能保證實現其認證目標,用串空間模型對滿足約束條件的協議形式進行建模,分彆在對稱和非對稱密碼兩種密碼體製下用認證測試方法對雙方的互認證性進行形式化地分析,找齣協議的漏洞及其形成的原因.憑藉測試元素進一步完善不同密碼體製下挑戰-應答協議的約束條件,以保證其實現互認證的要求,併為設計更複雜的認證協議提供依據.同時也從另一角度證明瞭基于串空間模型的認證測試方法在協議的形式化分析領域的重要價值.
도전-응답협의지유만족특정적안전조건재능보증실현기인증목표,용천공간모형대만족약속조건적협의형식진행건모,분별재대칭화비대칭밀마량충밀마체제하용인증측시방법대쌍방적호인증성진행형식화지분석,조출협의적루동급기형성적원인.빙차측시원소진일보완선불동밀마체제하도전-응답협의적약속조건,이보증기실현호인증적요구,병위설계경복잡적인증협의제공의거.동시야종령일각도증명료기우천공간모형적인증측시방법재협의적형식화분석영역적중요개치.
