基于形式化技术的安全协议的验证研究
该文介绍了几种具有代表性的安全协议的形式化验证工具，研究并使用JAVA语言实现了基于攻击者和秘密的安全协议验证算法。作者提出了射 份验证协议必须交换秘密的概念，还为协议形式化验证过程设计了框架。框架是指针对攻击者和其冒充的角色对原安全协议的改造。作者实现的验证工具是证伪的，即如果攻击者能够成功冒充某主体，则该安全协议是有漏洞的，反之则该协议的安全性得到某种程度的保证。该文还给出了该算法的攻击实例，并且对以后的研究工作进行了展望。
安全协议 形式化验证 网络安全技术 框架
熊勇强 吴建平 谢峰
清华大学计算机科学与技术系(北京)
国内会议
汕头
中文
675～680
2000-10-01（万方平台首次上网日期，不代表论文的发表时间）