中國科學院軟件研究所的“安全認證協議基礎理論與方法研究”項目榮獲2019年中國電子學會科學技術獎自然科學一等獎，主要完成人包括：馮登國、鄧燚、張振峰、徐靜、張江。 

　　該項目圍繞安全認證協議的若干重要基礎問題開展了前沿性和前瞻性研究，取得了國際上有重要影響的理論和應用成果。提出原創性的實例依賴密碼學原語和非黑盒模擬技術，證明了雙重可重置猜想這一具有挑戰性的公開問題，解決了純公鑰模型下常數輪雙重可重置零知識論證系統的存在性問題；建立了無證書數字簽名的安全模型，提出一般性構造理論和有效的設計方法，被廣泛應用于無證書安全協議的研究；提出公平和匿名認證密鑰交換的安全模型和設計方法，為隱私保護提供了全新的技術途徑；發展了口令認證協議的弱偽隨機性理論并提出模塊化的設計思想，提出匿名和跨域口令認證協議的設計新方法；提出格上數字簽名的一般性構造理論和格上口令認證協議通用設計方法，發展了格上認證密鑰交換設計理論，為量子計算時代安全通信提供了有效的解決方案。 

　　該項目成果為我國數字簽名標準納入國際標準ISO/IEC 14888-3提供了關鍵技術支撐。基于該項目理論設計的匿名口令認證協議被ISO/IEC 20009-4采納為國際標準。