K. V. Krishnam Raju, V. Valli Kumari. Formal Verification of IEEE 802.11 Authentication Protocols. JNW, 8(4):769-778, 2013. [doi]
@article{RajuK13,
title = {Formal Verification of IEEE 802.11 Authentication Protocols},
author = {K. V. Krishnam Raju and V. Valli Kumari},
year = {2013},
doi = {10.4304/jnw.8.4.769-778},
url = {http://dx.doi.org/10.4304/jnw.8.4.769-778},
researchr = {https://researchr.org/publication/RajuK13},
cites = {0},
citedby = {0},
journal = {JNW},
volume = {8},
number = {4},
pages = {769-778},
}