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

Header Data

From: danisch@ira.uka.de (Hadmut Danisch)
To: tcmay@sensemedia.net
Message Hash: 8ae159d9c321596ccb9109102b7221f88ee8479253cef67c902ca46056d06183
Message ID: <9508041418.AA21187@elysion.iaks.ira.uka.de>
Reply To: N/A
UTC Datetime: 1995-08-04 14:20:07 UTC
Raw Date: Fri, 4 Aug 95 07:20:07 PDT

Raw message

From: danisch@ira.uka.de (Hadmut Danisch)
Date: Fri, 4 Aug 95 07:20:07 PDT
To: tcmay@sensemedia.net
Subject: Re: RSA has been proved correct
Message-ID: <9508041418.AA21187@elysion.iaks.ira.uka.de>
MIME-Version: 1.0
Content-Type: text/plain



Mmmh,

correctness does not mean "it's a nice thing". It just
means that something fulfills the specs.

Do you know which specs were fed into the prover?

The specs could be as weak as

  -  RSA must terminate if fed with the number 42

  -  x ^ (e * d) = x  mod n   for all x from 0..(n-1)


Hadmut


  





Thread