Verification of Security Protocols References – J. C. Mitchell, V. Shmatikov, and U. Stern. Finitestate analysis of SSL 3.0, USENIX, 1998. – F. J.Thayer Fábrega, J. C. Herzog, J. D. Guttman. Strand spaces: proving - Guttman - Document - PDFSEARCH.IO

First Page	Meta Content
	Verification of Security Protocols References – J. C. Mitchell, V. Shmatikov, and U. Stern. Finitestate analysis of SSL 3.0, USENIX, 1998. – F. J.Thayer Fábrega, J. C. Herzog, J. D. Guttman. Strand spaces: proving Add to Reading List Document Date: 2012-01-15 23:43:15 Open Document File Size: 515,18 KB Share Result on Facebook City Cambridge / / Company Needham / / IndustryTerm concurrent systems / transition systems / authentication protocol / / Person J. C. Herzog / Alice / J. C. Mitchell / V / J.Thayer Fábrega / Bob / / Technology encryption / SSL / authentication protocol / Cryptography / public key / / SocialTag Public-key cryptography Alice and Bob Man-in-the-middle attack Cryptographic protocols Cryptography Needham–Schroeder protocol

Verification of Security Protocols References – J. C. Mitchell, V. Shmatikov, and U. Stern. Finitestate analysis of SSL 3.0, USENIX, 1998. – F. J.Thayer Fábrega, J. C. Herzog, J. D. Guttman. Strand spaces: provingAdd to Reading List