网络安全技术与应用
網絡安全技術與應用
망락안전기술여응용
NETWORK SECURITY TECHNOLOGIES & APPLICATION
2009年
5期
7-9
,共3页
Andrew RPC协议%模型检测%Promela%SPIN%安全漏洞
Andrew RPC協議%模型檢測%Promela%SPIN%安全漏洞
Andrew RPC협의%모형검측%Promela%SPIN%안전루동
本文运用模型检测技术,以Dolev-Yao模型为基础,提出了使用Promela语言和模型检测工具SPIN Andrew RPC协议进行建模和分析的方法,发现了该协议存在重放攻击漏洞,该方法具有一定通用性和很好的参考价值.
本文運用模型檢測技術,以Dolev-Yao模型為基礎,提齣瞭使用Promela語言和模型檢測工具SPIN Andrew RPC協議進行建模和分析的方法,髮現瞭該協議存在重放攻擊漏洞,該方法具有一定通用性和很好的參攷價值.
본문운용모형검측기술,이Dolev-Yao모형위기출,제출료사용Promela어언화모형검측공구SPIN Andrew RPC협의진행건모화분석적방법,발현료해협의존재중방공격루동,해방법구유일정통용성화흔호적삼고개치.
