适应受限环境的认证协议及其SVO逻辑分析  

Authentication Protocol Suit for Restriction Environment and Its SVO Logic Analysis

作　　者：刘志猛[1] 赵燕丽[1] 范辉[1] 原达[1] 

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

出　　处：《计算机工程》2009年第20期151-152,156,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60773053)

摘　　要：针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求。Aiming at the application and security problem of authentication protocol in restriction communication environment,this paper presents an authentication protocol based on elliptic curve cryptographic techniques,in which data confidentiality of exchanged information is supported by symmetric cryptography.The conversation key shared by participants is generated in the end of the protocol.Formal anlysis is done on recommended protocol by using extended SVO logic and the security of the protocol is proved by the results.

关 键 词：安全协议 身份认证 会话密钥 SVO逻辑 逻辑分析 

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