1. 程式人生 > 資訊 >中科院軟體所提出“5G 認證金鑰協議”設計方法:可抵抗連結攻擊,保護使用者隱私

中科院軟體所提出“5G 認證金鑰協議”設計方法:可抵抗連結攻擊,保護使用者隱私

12 月 6 日訊息,據中科院官網,近日,中國科學院軟體研究所在 5G-AKA 研究中取得重要進展,提出了隱私保護的 5G 認證金鑰協商協議設計方法,以標準相容的方式解決了當前 5G-AKA 存在的隱私安全問題,可為行動通訊使用者安全接入提供新一代核心技術。

據介紹,在第五代移動通訊技術中,5G 認證金鑰協商協議(5G-AKA)承擔了 5G 移動裝置的接入認證與金鑰協商功能,是保障 5G 網路安全的核心協議。但是,5G-AKA 在隱私保護方面存在安全缺陷,易受連結攻擊

軟體所創新性地提出了基於金鑰封裝機制的隱私保護 5G 認證金鑰協商協議設計方法,以相容 5G 標準的方式設計了 5G-AKA’協議,能夠在不更換移動使用者 SIM 卡、保持 5G 服務網現行部署的基礎上安全抵抗連結攻擊、保護使用者隱私

該研究團隊通過安全協議形式化驗證工具 Tamarin,對該協議進行建模和形式化驗證,證明了該協議可達到隱私性、認證性和機密性目標。

瞭解到,該設計方法支援現行公鑰密碼標準在 5G 移動通訊系統中的大規模應用,也適用於抗量子安全的金鑰封裝機制等。