Automatic security verification for 3-party authentication and key exchange protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Haruki Ota' in GoogleThis author has not been identified. It may be one of the following persons:

Shinsaku Kiyomoto

Look up 'Shinsaku Kiyomoto' in GoogleThis author has not been identified. Look up 'Yutaka Miyake' in Google

runs on WebDSL