密码协议的形式分析

摘要：

形式方法可以辅助设计、分析和验证网络和分布式系统中的密码协议.本文对密码协议形式分析化现状进行了综述,并指出了这个领域的主要研究思路和线索.

关键词： 密码协议 协议分析 形式方法 计算机通信网 分布式系统 模型检测

作者: 张玉清 吴建平 肖国镇

作者单位: 清华大学信息网络工程研究中心(北京) 西安电子科技大学信息保密研究所(西安)

会议类型: 国内会议

会议名称: 第七届中国密码学学术会议

会议地点: 威海

会议语种:中文

页码: 325-333

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