安全协议的形式化验证技术与方法

• 作者: 杨秀娟 董军 赵艳芹
• 来源期刊: 网络安全技术与应用
• 学科: 工学
• 关键词: 安全协议 形式化分析 安全目标
• 年，卷（期）: 2007,（11）
• 所属期刊栏目: 网络安全
• 页码范围: 16-17
• 页数: 2页
• 分类号: TP3
• 字数: 3279字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-6833.2007.11.007

摘要

本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类.并对安全协议形式化验证若干热点研究方向进行了归纳和展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵艳芹	黑龙江科技学院计算机与信息工程学院	39	102	5.0	8.0
2	杨秀娟	黑龙江科技学院计算机与信息工程学院	16	54	5.0	6.0
3	董军	黑龙江科技学院计算机与信息工程学院	23	57	4.0	7.0