---------- Forwarded message ---------- Date: Sat, 03 Nov 2001 14:15:33 -0500 From: "Steven M. Bellovin" <smb@research.att.com> To: cryptography@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@wasabisystems.com