一种基于椭圆曲线离散对数问题的非交互式可否认认证协议  

A Non-interactive Deniable Authentication Protocol Based on Elliptic Curve Discrete Logarithm Problem

作　　者：邵飞[1,2] 孟博[3] 

机构地区：[1]武汉大学软件工程国家重点实验室,武汉430072 [2]武汉大学计算机学院,武汉430072 [3]中南民族大学计算机科学学院,武汉430074

出　　处：《小型微型计算机系统》2014年第1期89-92,共4页Journal of Chinese Computer Systems

基　　金：国家"九七三"重点基础研究发展计划项目(2007CB310801)资助;国家自然科学基金项目(61170026;60940028;60703009;61100017)资助;湖北省杰出青年基金项目(2009CDA148)资助;武汉市科技局晨光计划项目(200950431189)资助;中央高校基本科研业务费专项基金(武汉大学)项目(2012211020203)资助

摘　　要：可否认认证协议作为一种安全协议,被用在如电子选举等许多特殊领域中,由于交互式可否认认证协议的多次交互带来的安全隐患,非交互式可否认认证协议引起了更多的重视,提出一种基于椭圆曲线离散对数问题的非交互式可否认认证协议,椭圆曲线离散对数问题的难解性提高了密钥的保密性,保证了非交互式协议的安全,构建的非交互式可否认协议可以抵抗重放攻击、伪造攻击、冒充攻击和已知会话密钥攻击,基于形式化方法对该协议的可否认性进行了证明,最后通过与其他协议的比较,说明了该协议的安全性和高效.Deniable authentication protocol is the security protocol which is mainly used in special applications, for example, electronic voting. Owning to the inefficiency of the interactive deniable authentication protocol, the non-interactive deniable authentication protocol has got the serious interest in security protocol field. In this study a non-interactive deniable authentication based on elliptic curve discrete logarithm problem is presented. The proposed non-interactive deniable authentication protocol is secure and efficient, which can resist forgery attack, relay attack, known session key attack and impersonation attack. Its deniability is proved in formal method by automatic tool.

关 键 词：椭圆曲线 认证协议 非交互式 安全性 

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