安全协议形式化分析方法综述之一:基于推理结构性方法  

One summary of method of security protocol's formal analysis -- Structured method based on reasoning

作　　者：范红[1] 冯登国[1] 邹良惠[1] 

机构地区：[1]中科院研究生院信息安全国家重点实验室

出　　处：《网络安全技术与应用》2003年第5期52-56,共5页Network Security Technology & Application

摘　　要：本文给出了基于推理结构性安全协议形式化分析方法的一个全面综述,分析了此类方法中的各种逻辑系统的优势与不足。

关 键 词：通信协议 网络协议 安全协议 形式化分析方法 密码体制基础 推理结构性方法 电子商务 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]