[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: RSA has been proved correct

To: [email protected]
Subject: Re: RSA has been proved correct
From: [email protected] (Stephen D. Williams)
Date: Mon, 7 Aug 1995 13:40:42 -0400 (EDT)
Cc: [email protected], [email protected]
In-Reply-To: <[email protected]> from "[email protected]" at Aug 5, 95 04:06:46 am
Sender: [email protected]

...
> 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) [email protected] 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

References:
- Re: RSA has been proved correct
  - From: [email protected]

Prev by Date: Re: Over 350 'Munitions T-shirts' Shipped
Next by Date: Re: Over 350 'Munitions T-shirts' Shipped
Prev by thread: Re: RSA has been proved correct
Next by thread: Re: RSA has been proved correct
Index(es):
- Date
- Thread