| 认证的密钥交换协议及SVO逻辑证明 |
| |
| 引用本文： | 刘志猛. 认证的密钥交换协议及SVO逻辑证明[J]. 通信技术, 2009, 42(12): 73-75 |
| |
| 作者姓名： | 刘志猛 |
| |
| 作者单位： | 山东工商学院,计算机科学与技术学院,山东,烟台,264005 |
| |
| 摘 要： | 在环境受限的无线通信网络环境中,身份认证和会话密钥的协商是确保通信双方能否建立安全会话的关键。为使认证和密钥建立协议中采用的密码技术能适合受限通信环境中的应用,提出一个基于身份的认证的密钥建立协议,并使用SVO逻辑证明设计协议的安全目标。
|
| 关 键 词： | 安全协议 密钥交换 逻辑分析 |
Authenticated Key Exchange Protocol and Verification SVO Logic |
| |
| LIU Zhi-meng. Authenticated Key Exchange Protocol and Verification SVO Logic[J]. Communications Technology, 2009, 42(12): 73-75 |
| |
| Authors: | LIU Zhi-meng |
| |
| Affiliation: | LIU Zhi-meng (College of Computer Science and Technology, Shandong Institute of Business and Technology Yantai Shandong 264005, China) |
| |
| Abstract: | In a distributed wireless communication network, authenticated key agreement protocol is critical to the secure sessions between communication parties, and much attention is paid to formal theories of cryptographic protocol analysis. A Mutually-Authenticated Key Establish Protoeol（AKEP） based on entity authentication with elliptic curve cryptography is proposed, which could provide data confidentiality of exchanged information between Server and client via symmetric cryptography. The security of the protocol is verified by SVO logic. |
| |
| Keywords: | security protocol key exchange logic analysis |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
