安全协议的自动分析技术

• 作者: 张庆海
• 来源期刊: 南北桥
• 学科: 工学
• 关键词: 安全协议 模型检测 逻辑推证 定理推证
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 信息化应用
• 页码范围: 74-75
• 页数: 2页
• 分类号: TP3
• 字数: 3769字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-0407.2009.07.061

摘要

安全协议的形式化研究成为一个热点领域,出现了很多的形式化和逻辑的研究方法.本文对于安全协议方法和技术做了介绍和总结.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张庆海	淮阴工学院计算科学系	11	20	3.0	4.0