中国科学院软件研究所的“安全认证协议基础理论与方法研究”项目荣获2019年中国电子学会科学技术奖自然科学一等奖，主要完成人包括：冯登国、邓燚、张振峰、徐静、张江。 

　　该项目围绕安全认证协议的若干重要基础问题开展了前沿性和前瞻性研究，取得了国际上有重要影响的理论和应用成果。提出原创性的实例依赖密码学原语和非黑盒模拟技术，证明了双重可重置猜想这一具有挑战性的公开问题，解决了纯公钥模型下常数轮双重可重置零知识论证系统的存在性问题；建立了无证书数字签名的安全模型，提出一般性构造理论和有效的设计方法，被广泛应用于无证书安全协议的研究；提出公平和匿名认证密钥交换的安全模型和设计方法，为隐私保护提供了全新的技术途径；发展了口令认证协议的弱伪随机性理论并提出模块化的设计思想，提出匿名和跨域口令认证协议的设计新方法；提出格上数字签名的一般性构造理论和格上口令认证协议通用设计方法，发展了格上认证密钥交换设计理论，为量子计算时代安全通信提供了有效的解决方案。 

　　该项目成果为我国数字签名标准纳入国际标准ISO/IEC 14888-3提供了关键技术支撑。基于该项目理论设计的匿名口令认证协议被ISO/IEC 20009-4采纳为国际标准。