计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2008年
4期
155-158
,共4页
三方认证协议BNV%操作语义%同步性%一致性
三方認證協議BNV%操作語義%同步性%一緻性
삼방인증협의BNV%조작어의%동보성%일치성
多个主体之间的安全会话需要有可靠的多方认证协议来保证.基于安全协议的操作语义模型,分析了三方认证协议BNV的安全性,结果表明该协议存在一致性和同步性缺陷.为此,修改了协议的消息结构并添加了标识协议主体身份的消息项.对改进后协议的安全性进行分析,结果表明改进后的协议不存在原协议的缺陷,协议参与主体满足一致性与同步性要求.最后,基于改进后协议,提出了一个n方认证协议的协议原型.
多箇主體之間的安全會話需要有可靠的多方認證協議來保證.基于安全協議的操作語義模型,分析瞭三方認證協議BNV的安全性,結果錶明該協議存在一緻性和同步性缺陷.為此,脩改瞭協議的消息結構併添加瞭標識協議主體身份的消息項.對改進後協議的安全性進行分析,結果錶明改進後的協議不存在原協議的缺陷,協議參與主體滿足一緻性與同步性要求.最後,基于改進後協議,提齣瞭一箇n方認證協議的協議原型.
다개주체지간적안전회화수요유가고적다방인증협의래보증.기우안전협의적조작어의모형,분석료삼방인증협의BNV적안전성,결과표명해협의존재일치성화동보성결함.위차,수개료협의적소식결구병첨가료표식협의주체신빈적소식항.대개진후협의적안전성진행분석,결과표명개진후적협의불존재원협의적결함,협의삼여주체만족일치성여동보성요구.최후,기우개진후협의,제출료일개n방인증협의적협의원형.