[9773] in cryptography@c2.net mail archive
Re: Proving security protocols
daemon@ATHENA.MIT.EDU (Steven M. Bellovin)
Sat Nov 3 14:45:54 2001
From: "Steven M. Bellovin" <smb@research.att.com>
To: cryptography@wasabisystems.com
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Date: Sat, 03 Nov 2001 14:15:33 -0500
Message-Id: <20011103191534.F29957B55@berkshire.research.att.com>
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
