安全协议形式化分析方法

韩继红;郭渊博;王亚弟

【期刊名称】《信息工程大学学报》

【年(卷),期】2008(009)003

【摘要】安全协议的形式化分析是检验协议安全性的必要手段.为了实现协议的规范描述和合理完备的安全性验证,各种数学理论和人工智能方法被引进安全协议形式化分析与自动化验证领域.主要从逻辑方法、模型检测方法和证明方法3个方面对符号化的安全协议形式化分析方法进行了综述,并指出了今后该领域的研究方向.

【总页数】5页(272-276)

【关键词】安全协议;形式化方法;逻辑;模型检测;证明

【作者】韩继红;郭渊博;王亚弟

【作者单位】信息工程大学,电子技术学院,河南,郑州,450004;信息工程大学,电子技术学院,河南,郑州,450004;信息工程大学,电子技术学院,河南,郑州,450004【正文语种】中文

【中图分类】TN918

【相关文献】

1.安全协议的形式化分析方法研究 [J], 陈平; 刘东喜; 白英彩

2.安全协议形式化分析方法综述之二——基于攻击结构性方法[J], 范红; 冯登国

3.关于安全协议的形式化分析方法的研究 [J], 亓文华; 张其善; 刘建伟

4.电子商务安全协议的一种形式化分析方法 [J], 王亮