%0 Conference Paper %1 conf/aina/KimC04 %A Kim, Il-Gon %A Choi, Jin-Young %B AINA (2) %D 2004 %I IEEE Computer Society %K dblp %P 264-269 %T Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking. %U http://dblp.uni-trier.de/db/conf/aina/aina2004.html#KimC04 %@ 0-7695-2051-0

@inproceedings{conf/aina/KimC04, added-at = {2023-03-24T00:00:00.000+0100}, author = {Kim, Il-Gon and Choi, Jin-Young}, biburl = {https://www.bibsonomy.org/bibtex/25bbae384c2d62216e3f60846a483050e/dblp}, booktitle = {AINA (2)}, crossref = {conf/aina/2004}, ee = {https://doi.ieeecomputersociety.org/10.1109/AINA.2004.1283800}, interhash = {d7675cfadddba59fabf78f73b4fe4d1f}, intrahash = {5bbae384c2d62216e3f60846a483050e}, isbn = {0-7695-2051-0}, keywords = {dblp}, pages = {264-269}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T22:27:19.000+0200}, title = {Formal Verification of PAP and EAP-MD5 Protocols in Wireless Networks: FDR Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/aina/aina2004.html#KimC04}, year = 2004 }