摘要
可否认认证协议作为一种安全协议,被用在如电子选举等许多特殊领域中,由于交互式可否认认证协议的多次交互带来的安全隐患,非交互式可否认认证协议引起了更多的重视,提出一种基于椭圆曲线离散对数问题的非交互式可否认认证协议,椭圆曲线离散对数问题的难解性提高了密钥的保密性,保证了非交互式协议的安全,构建的非交互式可否认协议可以抵抗重放攻击、伪造攻击、冒充攻击和已知会话密钥攻击,基于形式化方法对该协议的可否认性进行了证明,最后通过与其他协议的比较,说明了该协议的安全性和高效.
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.
出处
《小型微型计算机系统》
CSCD
北大核心
2014年第1期89-92,共4页
Journal of Chinese Computer Systems
基金
国家"九七三"重点基础研究发展计划项目(2007CB310801)资助
国家自然科学基金项目(61170026
60940028
60703009
61100017)资助
湖北省杰出青年基金项目(2009CDA148)资助
武汉市科技局晨光计划项目(200950431189)资助
中央高校基本科研业务费专项基金(武汉大学)项目(2012211020203)资助
关键词
椭圆曲线
认证协议
非交互式
安全性
elliptic curve
authentication protocol
non-interactive
security
