计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
17期
110-115
,共6页
王正才%许道云%王晓峰%唐郑熠%韦立
王正纔%許道雲%王曉峰%唐鄭熠%韋立
왕정재%허도운%왕효봉%당정습%위립
BAN逻辑%安全协议%形式化%非形式化%消息新鲜性%推理
BAN邏輯%安全協議%形式化%非形式化%消息新鮮性%推理
BAN라집%안전협의%형식화%비형식화%소식신선성%추리
BAN逻辑的推理过程中可能引入错误的推理条件,导致不安全的协议被验证为安全的.为解决该问题,对消息的形式化描述方式进行改进,在消息含义推理规则中加上一个隐含但不能被忽略的条件,以增强验证的可靠性,通过对发送和推理的消息单元进行限定,使消息新鲜性判定规则适用于更多类型的协议安全性验证.
BAN邏輯的推理過程中可能引入錯誤的推理條件,導緻不安全的協議被驗證為安全的.為解決該問題,對消息的形式化描述方式進行改進,在消息含義推理規則中加上一箇隱含但不能被忽略的條件,以增彊驗證的可靠性,通過對髮送和推理的消息單元進行限定,使消息新鮮性判定規則適用于更多類型的協議安全性驗證.
BAN라집적추리과정중가능인입착오적추리조건,도치불안전적협의피험증위안전적.위해결해문제,대소식적형식화묘술방식진행개진,재소식함의추리규칙중가상일개은함단불능피홀략적조건,이증강험증적가고성,통과대발송화추리적소식단원진행한정,사소식신선성판정규칙괄용우경다류형적협의안전성험증.
