Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1093/ietcom/E88-B.1.397 | IEICE TRANSACTIONS ON COMMUNICATIONS |
Keywords | Field | DocType |
model checking, Casper, CSP, FDR, RADIUS | Wireless network,Authentication,Cryptographic protocol,Computer science,Otway–Rees protocol,Computer network,Authentication protocol,Diameter protocol,Network Access Control,Wireless Transport Layer Security,Distributed computing | Journal |
Volume | Issue | ISSN |
E88B | 1 | 0916-8516 |
Citations | PageRank | References |
3 | 0.52 | 0 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Il-gon Kim | 1 | 24 | 5.91 |
| Jin-young Choi | 2 | 606 | 50.44 |