巢湖学院学报
巢湖學院學報
소호학원학보
CHAOHU TEACHERS COLLEGE JOURNAL
2006年
3期
35-37,34
,共4页
BAN逻辑%规则%逻辑推理%形式化分析
BAN邏輯%規則%邏輯推理%形式化分析
BAN라집%규칙%라집추리%형식화분석
Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用;基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷.
Otway-Rees協議主要功能是完成身份的雙嚮認證,本文探討瞭形式化分析在設計密碼認證協議中的作用;基于Otway-Rees協議,用BAN邏輯對它進行形式分析,指齣形式分析可以輔助髮現協議的設計缺陷.
Otway-Rees협의주요공능시완성신빈적쌍향인증,본문탐토료형식화분석재설계밀마인증협의중적작용;기우Otway-Rees협의,용BAN라집대타진행형식분석,지출형식분석가이보조발현협의적설계결함.