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