认证的密钥交换协议及SVO逻辑证明

• 作者: 刘志猛
• 来源期刊: 通信技术
• 学科: 工学
• 关键词: 安全协议 密钥交换 逻辑分析
• 年，卷（期）: 2009,（12）
• 所属期刊栏目: 通信保密
• 页码范围: 73-75
• 页数: 3页
• 分类号: TP309
• 字数: 3759字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0802.2009.12.026

摘要

在环境受限的无线通信网络环境中,身份认证和会话密钥的协商是确保通信双方能否建立安全会话的关键.为使认证和密钥建立协议中采用的密码技术能适合受限通信环境中的应用,提出一个基于身份的认证的密钥建立协议,并使用SVO逻辑证明设计协议的安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘志猛	山东工商学院计算机科学与技术学院	12	32	2.0	5.0