适用于用电信息采集的轻量级认证密钥协商协议  

A Lightweight Authenticated Protocol with Key Agreement for Power Utilization Information Collecting

作　　者：赵兵[1] 高欣[2] 郜盼盼[2] 翟峰[1] 

机构地区：[1]中国电力科学研究院,北京市100192 [2]北京邮电大学自动化学院,北京市100876

出　　处：《电力系统自动化》2013年第12期81-86,共6页Automation of Electric Power Systems

基　　金：国家重点基础研究发展计划(973计划)资助项目(2012CB724400)~~

摘　　要：用电信息采集系统信息量巨大、覆盖面广,而传统的认证密钥协商协议计算量开销大、通信交互次数多,无法满足其高实时、低成本的现实需求。为了实现电力数据的安全高效传输,文中基于证书认证及新旧参数保护密钥动态协商机制,提出了一种轻量级认证密钥协商协议,结合BAN逻辑形式化分析和非形式化分析方法对协议进行分析,证明协议在达到一级信仰和二级信仰的同时具有双向实体认证、完美的向前保密性等安全属性。该协议能够抵抗多种攻击,在保证安全的情况下实时高效地完成身份认证及密钥协商,适用于用电信息采集系统对密钥应用的需求。In view of the inability of the traditional authenticated protocol with key agreement to meet its high real-time and low- cost practical demand because of large numbers of computations and communication interactions required by the wide coverage and enormous information of the power utilization information collecting system, a lightweight authenticated protocol with key agreement based on digital certificate and dynamic consultative mechanism of old and new parameter protection keys is presented for safe and efficient transmission of electric power data. By combining the BAN logic formalized analysis and the non formalized analysis, it is proved that the protocol has reached level- I belief and level- Ⅱ belief, and can realize a two-way entity authentication and perfect forward secrecy simultaneously. Also, it is capable of effectively defending various attacks and completing the real-time authentication and key agreement, meeting the demand of the power utilization information collecting system on the key application.

关 键 词：用电信息采集 数字证书 身份认证 密钥协商 BAN逻辑 形式化分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]