[Cryptography] Yet more formal methods news: seL4 to go open source
Peter Gutmann
pgut001 at cs.auckland.ac.nz
Wed Jun 11 03:19:51 EDT 2014
Bill Frantz <frantz at pwpconsult.com> writes:
>The most important value of open source, and I am thinking back to the days
>when IBM published the source for its systems, is that the source is the best
>documentation around. If you don't know how to use OpenSSL, looking at the
>source is a big help.
Uhh, I think you meant to say:
If you don't know how to use OpenSSL, looking at the source is a big
hindrance.
Peter.
More information about the cryptography
mailing list