形式化验证认证协议的研究

摘要：

认证协议设计和实现的安全性分析是网络安全的重要课题，越来越多的人关注这个方向的发展。在此系统地讨论了证证协议形式验证研究的前沿课题和发展趋势，并介绍了基于时序逻辑的认证协议研究成果和基于时序逻辑的Model Checking的构想。

关键词： 认证协议 形式化方法 协议分析

作者: 肖德琴 肖德琴

作者单位: 中国科学院软件所计算机科学实验室(北京) 华南农业大学理学院(广州)

会议类型: 国内会议

会议名称: 1999信息安全国际会议

会议地点: 上海

会议语种:中文

页码: 139-141

在线出版日期: 1999-10-01（万方平台首次上网日期，不代表论文的发表时间）