安全协议验证中的形式化方法

摘要：

本文综述了应用安全协议验证的主要形式化方法,介绍了已取得的成果和各种方法的优缺点.

关键词： 安全协议 形式化方案 网络安全

作者: 胡成军 郑援 吕述望 沈昌祥

作者单位: 中科院信息安全国家重点实验室,海军潜艇学院 海军潜艇学院 中科院信息安全国家重点实验室 海军机要所

会议类型: 国内会议

会议名称: 2001年全国理论计算机科学学术会议

会议地点: 福州

会议语种:中文

页码: 164-167

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