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

Re: RSA has been proved correct

> 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) [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