[IEEE Comput. Soc. Press Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097) - Oakland, CA, USA (4-7 May 1997)] Proceedings. 1997 IEEE Symposium on Security and Privacy (Cat. No.97CB36097) - Automated analysis of cryptographic protocols using Murφ
Mitchell, J.C., Mitchell, M., Stern, U.Year:
1997
Language:
english
DOI:
10.1109/SECPRI.1997.601329
File:
PDF, 1.01 MB
english, 1997