Secure Handover Protocol for Mobile WiMAX Networks

スポンサーリンク

概要

• 論文の詳細を見る

• In this paper, we analyze existing vulnerabilities in hand-over for mobile WiMAX networks. To overcome these vulnerabilities, we propose a secure handover protocol that guarantees mutual authentication and forward/backward secrecy in handover. We present a formal analysis of our protocol using a logic-based formal method.

• （社）電子情報通信学会の論文
• 2008-12-01

著者

• CHOI Jin-Young

  Department of Computer Science and Engineering, Korea University

• Park Nam-sup

  Lg Electronics Inc.

• Lee Song-hee

  Department Of Computer Science And Engineering Korea University

• Choi Jin-young

  Department Of Computer Science And Engineering Korea University

関連論文

• Model Checking of Real-Time Properties of Resource-Bound Process Algebra
• Model Checking of Real-Time Properties of Resource-Bound Process Algebra
• Endoscopic-Assisted Open Reduction and Internal Fixation (EAORIF) for Condylar Fracture(International Symposium of Maxillofacial and Oral Regenerative Biology in Okayama 2005)
• A Surface Resistance Effect on the Fabrication of Dye-sensitized Solar Cell with Various Widths
• Secure Handover Protocol for Mobile WiMAX Networks
• The New Design of Dye-Sensitized Solar Cell Adopted by Sputter Deposition of Counter Electrode
• Answer Set Semantics for Prioritized Defaults Logic(Fundamentals of Software and Theory of Programs)

スポンサーリンク