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

• 作者: 董军 赵艳芹
• 来源期刊: 太原师范学院学报（自然科学版）
• 学科: 工学
• 关键词: 安全协议 形式化方法 定理证明
• 年，卷（期）: 2007,（4）
• 页码范围: 63-65
• 页数: 3页
• 分类号: TP393
• 字数: 2862字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-2027.2007.04.020

摘要

对安全协议形式化验证方法所应用的技术进行了研究,总结了当前安全协议的各种形式化验证方法的特点,指出今后一段时期内安全协议形式化验证技术的研究方向.

作者信息

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