John C. Mitchell Arnab Roy Paul Rowe Andre Scedrov Analysis of EAP-GPSK Authentication Protocol. 309-327 2008 ACNS http://dx.doi.org/10.1007/978-3-540-68914-0_19 conf/acns/2008 db/conf/acns/acns2008.html#MitchellRRS08