移動自組網中跨域兩方認證密鑰協商協議研究

摘要：針對基于身份的移動自組網認證密鑰協商協議中，會話兩方屬于不同私鑰生成中心(PKG)的情況，利用雙線性對的性質和橢圓曲線離散對數問題，提出了一種跨域兩方認證密鑰協商協議，并采用應用pi演算和ProVerif自動化驗證工具對其安全屬性進行形式化分析。分析結果表明，提出的協議實現了保密性、身份認證性以及密鑰一致性確認，同時又具有較好的性能，非常適用于資源有限的移動自組網。