Security Verification for Authentication and Key Exchange Protocols, Revisited. - Ota, Haruki; Kiyomoto, Shinsaku; Tanaka, Toshiaki (2010)