调和安全协议两种分析方法的理论研究

• 作者: 朱玉娜 王亚弟 范钰丹 韩继红
• 来源期刊: 计算机应用研究
• 关键词: 安全协议 符号方法 计算方法 密码学可靠性
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 信息安全技术
• 页码范围: 930-933
• 页数: 4页
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.03.081

摘要

安全协议形式化分析方法分为两种,即符号方法和计算方法.比较两种方法,它们各有优缺点.目前,将两者进行组合优化,建立统一的调和方法框架对安全协议进行分析是研究的热点和难点.针对该问题,对目前国际上流行的相关方法进行了分类总结,并对涉及到的技术手段进行了全面分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	朱玉娜	解放军信息工程大学电子技术学院	9	17	2.0	3.0
4	范钰丹	解放军信息工程大学电子技术学院	12	24	2.0	4.0