计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2011年
11期
144-145,163
,共3页
认证协议%绑定项理论%串空间理论%必要条件%形式化理论
認證協議%綁定項理論%串空間理論%必要條件%形式化理論
인증협의%방정항이론%천공간이론%필요조건%형식화이론
提出绑定项理论并用该理论构建认证协议的必要条件定理,使用串空间理论证明该定理和3个典型认证协议.该理论能够迅速、有效地判定有缺陷的认证协议的认证属性,除了能够对认证协议的新鲜性、主体进行判定外,还能够对具有类型攻击缺陷的认证协议进行判定,为认证协议的安全判定提供一种简单、有效的理论方法.
提齣綁定項理論併用該理論構建認證協議的必要條件定理,使用串空間理論證明該定理和3箇典型認證協議.該理論能夠迅速、有效地判定有缺陷的認證協議的認證屬性,除瞭能夠對認證協議的新鮮性、主體進行判定外,還能夠對具有類型攻擊缺陷的認證協議進行判定,為認證協議的安全判定提供一種簡單、有效的理論方法.
제출방정항이론병용해이론구건인증협의적필요조건정리,사용천공간이론증명해정리화3개전형인증협의.해이론능구신속、유효지판정유결함적인증협의적인증속성,제료능구대인증협의적신선성、주체진행판정외,환능구대구유류형공격결함적인증협의진행판정,위인증협의적안전판정제공일충간단、유효적이론방법.
