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

Authenticated Key Exchange Protocol and Verification SVO Logic

作　　者：刘志猛[1] 

机构地区：[1]山东工商学院计算机科学与技术学院,山东烟台264005

出　　处：《通信技术》2009年第12期73-75,共3页Communications Technology

基　　金：国家自然科学基金(60773053)

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

关 键 词：安全协议 密钥交换 逻辑分析 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]