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