1995-08-07 - Re: RSA has been proved correct

Header Data

From: sdw@lig.net (Stephen D. Williams)
To: solman@MIT.EDU
Message Hash: 28521f0027b58e53dba5c90b965645a253a57815f649e41a3bb0e249d62b6e5a
Message ID: <m0sfWAM-0009yuC@sdwsys>
Reply To: <9508050806.AA22214@ua.MIT.EDU>
UTC Datetime: 1995-08-07 17:41:53 UTC
Raw Date: Mon, 7 Aug 95 10:41:53 PDT

Raw message

From: sdw@lig.net (Stephen D. Williams)
Date: Mon, 7 Aug 95 10:41:53 PDT
To: solman@MIT.EDU
Subject: Re: RSA has been proved correct
In-Reply-To: <9508050806.AA22214@ua.MIT.EDU>
Message-ID: <m0sfWAM-0009yuC@sdwsys>
MIME-Version: 1.0
Content-Type: text/plain

> Given the enormous difficulty of ensuring security in a world of
> ubiquitous distributed computing, I'm as big a fan as any of formal
> methods. But Tim's post hammers home the big fault of formal methods:
> the possibility that people will come to rely upon them. I have

"Logic is a system whereby one may go wrong with confidence." - Patterson

> Cheers,

Stephen D. Williams 25Feb1965 VW,OH (FBI ID) sdw@lig.net http://www.lig.net/sdw
Consultant, Vienna,VA Mar95- 703-918-1491W 43392 Wayside Cir.,Ashburn, VA 22011
OO/Unix/Comm/NN       ICBM/GPS: 39 02 37N, 77 29 16W home, 38 54 04N, 77 15 56W
Pres.: Concinnous Consulting,Inc.;SDW Systems;Local Internet Gateway Co.;28May95