1995-10-10 - Re: Distributed co-operative theorem proving, anyone? - was Java

Header Data

From: fc@all.net (Dr. Frederick B. Cohen)
To: adam@homeport.org (Adam Shostack)
Message Hash: 28e35bbf2b09f1acb2059e10ab342cffb5a19cb308280cfdb3c9db68116ab99f
Message ID: <9510101444.AA04563@all.net>
Reply To: <199510101415.KAA03219@homeport.org>
UTC Datetime: 1995-10-10 14:47:09 UTC
Raw Date: Tue, 10 Oct 95 07:47:09 PDT

Raw message

From: fc@all.net (Dr. Frederick B. Cohen)
Date: Tue, 10 Oct 95 07:47:09 PDT
To: adam@homeport.org (Adam Shostack)
Subject: Re: Distributed co-operative theorem proving, anyone? - was Java
In-Reply-To: <199510101415.KAA03219@homeport.org>
Message-ID: <9510101444.AA04563@all.net>
MIME-Version: 1.0
Content-Type: text


...
> 	I'd be real intereseted in seeing an MTA proven secure.  Smail
> or Zmailer perhaps?

The problem is that such programs were not designed to be secure (as far
as I am aware) or to be proven secure, and thus, even with lots of
computing power, there is essentially no hope of doing this.  In fact,
they are almost certainly not secure (as these proofs generally help detect).

-- 
-> See: Info-Sec Heaven at URL http://all.net
Management Analytics - 216-686-0090 - PO Box 1480, Hudson, OH 44236

Thread

• Return to October 1995

• Return to “Adam Shostack <adam@homeport.org>”
• Return to “Aleph One <aleph1@dfw.net>”
• Return to “cmcmanis@scndprsn.Eng.Sun.COM (Chuck McManis)”
• Return to “fc@all.net (Dr. Frederick B. Cohen)”
• Return to ““Perry E. Metzger” <perry@piermont.com>”

• Return to “Simon Spero <ses@tipper.oit.unc.edu>”

• 1995-10-09 (Mon, 9 Oct 95 10:11:17 PDT) - java security concerns - cmcmanis@scndprsn.Eng.Sun.COM (Chuck McManis)
  • 1995-10-09 (Mon, 9 Oct 95 16:22:31 PDT) - Re: java security concerns - “Perry E. Metzger” <perry@piermont.com>
    • 1995-10-10 (Mon, 9 Oct 95 17:29:59 PDT) - Re: java security concerns - Simon Spero <ses@tipper.oit.unc.edu>
      • 1995-10-10 (Mon, 9 Oct 95 18:13:28 PDT) - Distributed co-operative theorem proving, anyone? - was Java - fc@all.net (Dr. Frederick B. Cohen)
        • 1995-10-10 (Mon, 9 Oct 95 19:24:06 PDT) - Re: Distributed co-operative theorem proving, anyone? - was Java - Aleph One <aleph1@dfw.net>
        • 1995-10-10 (Tue, 10 Oct 95 07:12:39 PDT) - Re: Distributed co-operative theorem proving, anyone? - was Java - Adam Shostack <adam@homeport.org>
          • 1995-10-10 (Tue, 10 Oct 95 07:47:09 PDT) - Re: Distributed co-operative theorem proving, anyone? - was Java - fc@all.net (Dr. Frederick B. Cohen)