安全协议形式化分析理论与方法研究综述
作者：冯登国;范红
作者机构：中国科学院软件研究所,北京,100080;中国科学院软件研究所,北京,100080
来源：中国科学院研究生院学报
ISSN：1002-1175
年：2003
卷：020
期：004
页码：389-406
页数：18
中图分类：TP393
正文语种：chi
关键词：安全协议;安全模型;形式化分析;形式化语言
摘要：综述目前安全协议形式化分析的理论与方法,包括安全协议的分类与模型,安全协议形式化分析的3种典型方法(基于推理的结构性方法,基于攻击的结构性方法,基于证明的结构性方法),安全协议分析的形式化语言,安全协议设计的形式化方法,以及安全协议形式化分析面临的挑战.