A key for John Doe: modeling and designing Anonymous Password-Authenticated Key Exchange protocols | Publicación