安全协议的形式化方法概述

• 作者: 刘霞 陈勇
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 安全协议 形式化
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 研究与方法
• 页码范围: 39-43
• 页数: 5页
• 分类号: TP393.08
• 字数: 4560字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2005.05.011

摘要

介绍了安全协议的形式化分析思路,阐述了安全协议形式化描述、需求、验证及设计四个方面的研究状况和它们的基本原理,并对常用的几种形式化验证技术的优缺点进行了分析,最后针对形式化技术在该领域的发展前景提出了自己的见解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈勇	重庆大学自动化学院	47	446	12.0	19.0
2	刘霞	桂林电子工业学院计算机系	7	29	4.0	5.0