计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2003年
2期
195-201
,共7页
身份认证协议%模型检测%Spin
身份認證協議%模型檢測%Spin
신빈인증협의%모형검측%Spin
提出一个直观、易用的模型来模拟和验证身份认证协议,并给出基于Spin(模型检测工具)的实现,它不仅可以模拟多对参与者同时进行会话,而且还有效缩减了状态空间,从而避免了以前文献中提到的状态爆炸现象.同时该文用Needham-Schroeder 公钥协议和TMN协议来说明如何应用该模型.
提齣一箇直觀、易用的模型來模擬和驗證身份認證協議,併給齣基于Spin(模型檢測工具)的實現,它不僅可以模擬多對參與者同時進行會話,而且還有效縮減瞭狀態空間,從而避免瞭以前文獻中提到的狀態爆炸現象.同時該文用Needham-Schroeder 公鑰協議和TMN協議來說明如何應用該模型.
제출일개직관、역용적모형래모의화험증신빈인증협의,병급출기우Spin(모형검측공구)적실현,타불부가이모의다대삼여자동시진행회화,이차환유효축감료상태공간,종이피면료이전문헌중제도적상태폭작현상.동시해문용Needham-Schroeder 공약협의화TMN협의래설명여하응용해모형.