@inproceedings{DBLP:conf/aina/KimC04,
author = {Il-Gon Kim and
Jin-Young Choi},
title = {Formal Verification of PAP and EAP-MD5 Protocols in Wireless
Networks: FDR Model Checking},
booktitle = {AINA (2)},
year = {2004},
pages = {264-269},
ee = {http://doi.ieeecomputersociety.org/10.1109/AINA.2004.1283800},
crossref = {DBLP:conf/aina/2004},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aina/2004,
title = {18th International Conference on Advanced Information Networking
and Applications (AINA 2004), 29-31 March 2004, Fukuoka,
Japan},
booktitle = {AINA},
publisher = {IEEE Computer Society},
year = {2004},
isbn = {0-7695-2051-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}