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,
>
> JWS
>
sdw
--
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
Thread
Return to August 1995
- Return to “Nathan Zook <nzook@bga.com>”
- Return to “Ray Cromwell <rjc@clark.net>”
- Return to “sdw@lig.net (Stephen D. Williams)”
- Return to “solman@MIT.EDU”
Return to “tcmay@sensemedia.net (Timothy C. May)”
- 1995-08-04 (Thu, 3 Aug 95 23:40:51 PDT) - RSA has been proved correct - tcmay@sensemedia.net (Timothy C. May)
- 1995-08-05 (Sat, 5 Aug 95 01:06:54 PDT) - Re: RSA has been proved correct - solman@MIT.EDU
- 1995-08-07 (Sun, 6 Aug 95 18:51:07 PDT) - Re: RSA has been proved correct - Nathan Zook <nzook@bga.com>
- 1995-08-07 (Sun, 6 Aug 95 20:29:50 PDT) - Re: RSA has been proved correct - Ray Cromwell <rjc@clark.net>
- 1995-08-07 (Sun, 6 Aug 95 22:50:13 PDT) - Re: RSA has been proved correct - Nathan Zook <nzook@bga.com>
- 1995-08-07 (Sun, 6 Aug 95 20:29:50 PDT) - Re: RSA has been proved correct - Ray Cromwell <rjc@clark.net>
- 1995-08-07 (Mon, 7 Aug 95 10:41:53 PDT) - Re: RSA has been proved correct - sdw@lig.net (Stephen D. Williams)
- 1995-08-07 (Sun, 6 Aug 95 18:51:07 PDT) - Re: RSA has been proved correct - Nathan Zook <nzook@bga.com>
- 1995-08-05 (Sat, 5 Aug 95 01:06:54 PDT) - Re: RSA has been proved correct - solman@MIT.EDU