宜春学院学报
宜春學院學報
의춘학원학보
JOURNAL OF YICHUN UNIVERSITY
2004年
4期
70-71
,共2页
逻辑化方法%认证逻辑系统%NSL协议
邏輯化方法%認證邏輯繫統%NSL協議
라집화방법%인증라집계통%NSL협의
逻辑化方法是当前分析密码协议安全性的重要方法.本文通过运用一种新的认证逻辑系统,给出NSL认证协议的形式化分析证明,并提出协议改进方案.
邏輯化方法是噹前分析密碼協議安全性的重要方法.本文通過運用一種新的認證邏輯繫統,給齣NSL認證協議的形式化分析證明,併提齣協議改進方案.
라집화방법시당전분석밀마협의안전성적중요방법.본문통과운용일충신적인증라집계통,급출NSL인증협의적형식화분석증명,병제출협의개진방안.
