安全协议中的形式化验证技术

• 作者: 余冬梅 冯涛 边培泉
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: 安全协议 形式化验证技术 BAN逻辑 状态穷举 定理证明
• 年，卷（期）: 2003,（11）
• 所属期刊栏目: 安全与防范
• 页码范围: 112-114,124
• 页数: 4页
• 分类号: TP393.08
• 字数: 4824字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2003.11.040

摘要

伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余冬梅	甘肃工业大学电气工程与信息工程学院	31	255	8.0	13.0
2	冯涛	甘肃工业大学电气工程与信息工程学院	15	127	7.0	10.0
3	边培泉	甘肃工业大学电气工程与信息工程学院	1	5	1.0	1.0