Re: [Diehard] Overlap sum test

From: Mok-Kong Shen (mok-kong.shen_at_t-online.de)
Date: 09/25/03


Date: Thu, 25 Sep 2003 21:52:51 +0200


"Douglas A. Gwyn" wrote:
>
> The crypto code itself is not especially complex, and when there
> are sufficient standards, implementations can be checked for
> correctness to a large degree simply by seeing if they are
> interoperable with independent implementations of the standards.

'To a large degree' is a 'problem' in my view. One
occassionally reads e.g. some negative opinions about
certain MS products. They are however certainly correct
'to a large degree', don't they? I am not entirely sure
that all crypto codes that are popularly used in practice
are written in such a way that they are easily readable
(hence visually verifiable for correctness) by persons
other than their authors.

M. K. Shen



Relevant Pages

  • Re: [Diehard] Overlap sum test
    ... > The crypto code itself is not especially complex, ... > correctness to a large degree simply by seeing if they are ... > interoperable with independent implementations of the standards. ...
    (sci.crypt)
  • Re: [Diehard] Overlap sum test
    ... >> The crypto code itself is not especially complex, ... >> interoperable with independent implementations of the standards. ... in full interoperability while being technically "altogether wrong". ...
    (sci.crypt)
  • Re: [Diehard] Overlap sum test
    ... >> The crypto code itself is not especially complex, ... >> interoperable with independent implementations of the standards. ... in full interoperability while being technically "altogether wrong". ...
    (sci.crypt)
  • Re: [Diehard] Overlap sum test
    ... The crypto code itself is not especially complex, ... correctness to a large degree simply by seeing if they are ... interoperable with independent implementations of the standards. ...
    (sci.crypt)
  • Re: [Diehard] Overlap sum test
    ... The crypto code itself is not especially complex, ... correctness to a large degree simply by seeing if they are ... interoperable with independent implementations of the standards. ...
    (sci.crypt)

Quantcast