苏州大学学报（工科版）
囌州大學學報（工科版）
소주대학학보（공과판）
JOURNAL OF SOOCHOW UNIVERSITY ENGINEERING SCIENCE EDITION
2008年
3期
11-15
,共5页
模型检测%密码协议%形式化方法
模型檢測%密碼協議%形式化方法
모형검측%밀마협의%형식화방법
密码协议安全性的分析是网络安全研究领域的一个主要内容,研究人员提出多种形式化方法来分析这个问题.模型检测工具Spin是一个广泛验证并发系统性质的工具,可用来分析密码协议.对Neeclham-Schroeder(NS)协议认证部分进行了详细的分析,结果表明,Spin可成功检测出NS协议的缺陷,并生成攻击的序列.
密碼協議安全性的分析是網絡安全研究領域的一箇主要內容,研究人員提齣多種形式化方法來分析這箇問題.模型檢測工具Spin是一箇廣汎驗證併髮繫統性質的工具,可用來分析密碼協議.對Neeclham-Schroeder(NS)協議認證部分進行瞭詳細的分析,結果錶明,Spin可成功檢測齣NS協議的缺陷,併生成攻擊的序列.
밀마협의안전성적분석시망락안전연구영역적일개주요내용,연구인원제출다충형식화방법래분석저개문제.모형검측공구Spin시일개엄범험증병발계통성질적공구,가용래분석밀마협의.대Neeclham-Schroeder(NS)협의인증부분진행료상세적분석,결과표명,Spin가성공검측출NS협의적결함,병생성공격적서렬.
