一种基于问题求解理论的密码协议形式模型

• 作者: 王亚弟 范钰丹 赵宇 赵琦 韩继红
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: 密码协议 形式模型 问题求解理论 ρ演算 运算语义
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 信息与网络安全
• 页码范围: 303-307
• 页数: 5页
• 分类号: TP309
• 字数: 6774字
• 语种: 中文

摘要

提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题.该模型具有以下特点:能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;对密码协议安全性的定义精确合理;便于实现自动化推理.所有这些均确保了基于该模型的密码协议安全性分析的合理性和有效性,为正确的分析密码协议的安全性提供了可靠依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	信息工程大学电子技术学院	47	175	7.0	10.0
2	韩继红	信息工程大学电子技术学院	34	264	7.0	15.0
3	范钰丹	信息工程大学电子技术学院	6	13	2.0	3.0
4	赵宇	信息工程大学电子技术学院	6	14	2.0	3.0
5	赵琦	信息工程大学电子技术学院	2	1	1.0	1.0