安全协议的形式化分析方法研究

• 作者: 刘东喜 白英彩 陈平
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 安全协议 逻辑 模型
• 年，卷（期）: 2003,（5）
• 所属期刊栏目: 安全技术
• 页码范围: 48-50,71
• 页数: 4页
• 分类号: TP3
• 字数: 5054字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2003.05.021

摘要

安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题.现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系.最后,说明安全协议形式化分析的困难所在.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	白英彩	上海交通大学计算机科学与工程系	185	1721	20.0	33.0
2	陈平	上海交通大学计算机科学与工程系	71	189	7.0	9.0
3	刘东喜	上海交通大学计算机科学与工程系	9	120	6.0	9.0