Haruki Ota, Shinsaku Kiyomoto, Yutaka Miyake. Automatic security verification for 3-party authentication and key exchange protocols. In Pierangela Samarati, Sara Foresti, Jiankun Hu, Giovanni Livraga, editors, 5th International Conference on Network and System Security, NSS 2011, Milan, Italy, September 6-8, 2011. pages 254-258, IEEE, 2011. [doi]
Abstract is missing.