Ota, et al.. Automatic Security Verification for 3-party Authentication and Key Exchange Protocols. IEEE, 2011, doi:10.1109/icnss.2011.6060010.