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		Document Content
Date: 2012-01-15 23:43:15		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 Source URL: hagi.is.s.u-tokyo.ac.jp Download Document from Source Website File Size: 515,18 KB Share Document on Facebook