A Research in High-Level Authentication for Wireless IP Networks

隨著寬頻存取技術的進展同時帶動無線IP網路的盛行，由於使用者不斷的增加，市場預測無線IP網路服務提供者將對公共的無線網路進行更多部署，為了能夠提供不中斷與四處無縫隙行動的無線IP網路服務，網路服務提供者的網路必須彼此結合，以形同一廣域的無線技術，就如同UMTS行動通訊系統般。因此能支援異質領域來有效率的認證與執行動態的金鑰交換的協定，和具漫遊同意的網路能穿越信任的領域可說是廣域的無線IP基礎建設成功的兩個關鍵要素。 本文首先描述一個簡單的網路模型來說明網路服務提供者的異質性，並就網路效率、安全性和欺騙防止等方面，說明執行於此網路架構模型的高層認證與金鑰交換的協定所需的安全性要求。然後介紹一個能滿足前述要求的認證和金鑰交換協定W-SKE(Wireless Shared Key Exchange)，與一個高效率能執行高安全層級的一次密碼認證協定2GR(Two-Gene-Relation)，其中還描述它們如何能符合安全性要求的特徵。最後提出利用W-SKE融合2GR的方式，設計出一個具有兩階段認證能適用於無線IP網路的新的高層認證協定，此一新設計的協定經進一步的分析後，可以確認它在效率與安全上都能有更優異的表現，並且能通過SPEARⅡ(Security Protocol Engineering and Analysis Resource Ⅱ)軟體對它進行在效率與安全方面上的驗證。The need for wireless access to an IP network is evident. In order to offer uninterrupted wireless IP service combined with everywhere seamless mobility, the different network provider need to be integrated with each other. Therefore, efficient authentication and dynamic key exchange protocol that support heterogeneous domains is the key to the success of wide-area wireless IP infrastructures. In this thesis, first, we describe a multiprovider multitechnology wireless IP network infrastructure that meets for heterogeneity in network service providers, and bring up the requirements of authentication and key exchange protocol that operates in such a model should satisfy. Then we proposed a new idea that combines W-SKE with 2GR to design a new authentication scheme and dynamic key exchange protocol. The proposed authentication scheme can support roaming in a foreign domain. We use SPEARⅡ for the security analysis. From the simulation results, we know that the proposed scheme provides better efficiency as well as high security.第一章 緒論 .............................................................................................. 1 1.1 緣由 ......................................................................................... 1 1.2 研究動機與目的 ..................................................................... 2 1.3 認證新構想 ............................................................................. 4 1.4 論文組織架構 ......................................................................... 5 第二章 背景知識 ...................................................................................... 6 2.1 名詞釋義 ................................................................................. 6 2.1.1 誠實的內部成員(Honest Insiders) ................................. 6 2.1.2 拜占庭式的內部成員(Byzantine Insiders) .................... 7 2.2 支援漫遊的網路架構 ............................................................. 8 2.3 基本的安全夥伴關係 ........................................................... 10 2.4認證協定的基本設計要求 .................................................... 12 2.4.1 網路和系統上的要求 .................................................. 12 2.4.2 安全上的要求 .............................................................. 13 2.4.3 防止欺騙上的要求 ...................................................... 14 2.5 W-SKE協定的介紹 ............................................................... 15 2.6 2GR協定的介紹 .................................................................... 16 2.7 802.11i協定的介紹 ............................................................... 18 2.8 SPEARⅡ的介紹 ................................................................... 19 第三章 認證協定的設計 ........................................................................ 23 3.1 認證協定的規劃原則 ........................................................... 23 3.2 認證協定的設計 ................................................................... 24 3.2.1 定義與標記 .................................................................. 25 3.2.2 認證與授權階段 .......................................................... 27 3.2.3 本地認證階段 .............................................................. 29 3.3 以SPEAR Ⅱ測試與驗證 .................................................... 30 3.3.1 協定的設計內容 .......................................................... 30 3.3.2 信任與持有物的初值設定 .......................................... 35 3.3.2.1 第一階段初值設定的內容 ............................... 35 3.3.2.2 第二階段Phase2的初值設定 .......................... 39 第四章分析與結果 .................................................................................. 42 4.1 分析結果查驗 ....................................................................... 42 4.1.1 第一階通過檢驗的有效目標 ...................................... 42 4.1.2 第二階段Subprotocol通過檢驗的有效目標 ............. 44 4.2 效率的分析(Analysis Efficiency) .......................................... 45 4.2.1 訊息來回次數的比較 .................................................. 45 4.2.2 最佳化訊息來回(Optimal Rounds)次數的分析 ......... 47 4.2.3 網路效率的分析(Analysis Network Efficiency) .......... 50 4.2.3.1 整體時間的花費 ............................................... 50 4.2.3.2 傳輸量的負擔 ................................................... 50 4.2.3.3 實施上的難易 ................................................... 51 4.3 安全性的分析(Security Analysis) ......................................... 51 4.3.1 在認證安全上的設計 .................................................. 51 4.3.2 安全威脅方面的探討 .................................................. 54 4.3.2.1 重播(Replay)攻擊 ............................................. 54 4.3.2.2 竊取(Theft)攻擊 ............................................... 55 4.3.2.3 欺騙防止(Fraud Prevention) ............................. 55 4.3.2.4 服務欺騙(Service Fraud) ................................... 56 4.3.2.5 服務阻斷攻擊(Denial of Service) ..................... 57 第五章 結論與未來展望 ........................................................................ 58 5.1 結論 ....................................................................................... 58 5.2未來展望 ................................................................................ 59 參考文獻 .................................................................................................. 6