1995-08-02 - Re: Provably Correct Crypto

Header Data

From: futplex@pseudonym.com (Futplex)
To: cypherpunks@toad.com (Cypherpunks Mailing List)
Message Hash: 10200be50219edba04f7252190b2b5067bcfbf0413c5eea5d8cd8dcfc884dfec
Message ID: <9508021442.AA25910@cs.umass.edu>
Reply To: N/A
UTC Datetime: 1995-08-02 14:43:08 UTC
Raw Date: Wed, 2 Aug 95 07:43:08 PDT

Raw message

From: futplex@pseudonym.com (Futplex)
Date: Wed, 2 Aug 95 07:43:08 PDT
To: cypherpunks@toad.com (Cypherpunks Mailing List)
Subject: Re: Provably Correct Crypto
Message-ID: <9508021442.AA25910@cs.umass.edu>
MIME-Version: 1.0
Content-Type: text/plain


Those interested in this discussion of verification of PGP etc. might also
find it worth reading some recent traffic on the firewalls list, regarding
the viability of "trusted systems" and formal evaluation methods. Look for
messages from Marcus Ranum (ex-TIS), Ray Kaplan, and some others in the
past few digests (e.g. #458 and #459, and a few prior ones). You can find them
in ftp://ftp.greatcircle.com/pub/firewalls/digest/ with filenames like
v04.n458.Z, v04.n459.Z, etc. (Only digests through #457 are there now, but I'm
sure the latter ones will appear soon.) Use majordomo@greatcircle.com if you
want to subscribe to firewalls or firewalls-digest.

-Futplex <futplex@pseudonym.com>




Thread