Proving security protocols (fwd)

[Jim Choate]

---------- Forwarded message ----------
Date: Sat, 03 Nov 2001 14:15:33 -0500
From: "Steven M. Bellovin" <smb at research.att.com>
To: cryptography at wasabisystems.com
Subject: Re: Proving security protocols 

Also see the National Research Council report "Trust in Cyberspace" (I 
served on that committee).  The section on formal methods can be found 
at http://www.nap.edu/readingroom/books/trust/trust-3.htm#Page 95
(yes, there's a blank in the URL...)

		--Steve Bellovin, http://www.research.att.com/~smb
		Full text of "Firewalls" book now at http://www.wilyhacker.com





---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo at wasabisystems.com