Model Checking of RADIUS Protocol in Wireless Networks(Internet)

スポンサーリンク

概要

• 論文の詳細を見る

• Authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify RADIUS security protocol in wireless networks with Casper and CSP, and then verify their security properties such as secrecy and authentication using FOR. We also show that RADIUS protocol is vulnerable to the man-in-the-middle attack. In addition, we discuss its security weakness and potential countermeasures related with RADIUS. Finally, we fix it and propose a modified RADIUS protocol against the man-in-the-middle attack.

• 社団法人電子情報通信学会の論文
• 2005-01-01

著者

• Choi Jin-young

  The Department Of Computer Science And Engineering Korea University

• KIM Il-Gon

  the Department of Computer Science and Engineering, Korea University

• Kim Il-gon

  The Department Of Computer Science And Engineering Korea University

関連論文

• Model Checking of RADIUS Protocol in Wireless Networks(Internet)

スポンサーリンク