|
For Full-Text PDF, please login, if you are a member of IEICE,
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
|
Model Checking of RADIUS Protocol in Wireless Networks
Il-Gon KIM Jin-Young CHOI
Publication
IEICE TRANSACTIONS on Communications
Vol.E88-B
No.1
pp.397-398 Publication Date: 2005/01/01 Online ISSN:
DOI: 10.1093/ietcom/e88-b.1.397 Print ISSN: 0916-8516 Type of Manuscript: LETTER Category: Internet Keyword: model checking, Casper, CSP, FDR, RADIUS,
Full Text: PDF(53.6KB)>>
Summary:
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 FDR. 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.
|
|
|