Re: [isabelle] implementation of SSL?
-----BEGIN PGP SIGNED MESSAGE-----
On 10 Sep 2009, at 14:02, amir mohajeri wrote:
I want to know about implementation of SSL protocol by Isabelle ??
In fact Isabelle does not 'implement' SSL. What is available is a
verification of TLS available on the Library under HOL/Auth.
It can help you, since it is very similar to SSL 3.0 (read the
disclaimer in the .thy file). A modification to fit your request
should be reasonably easy to obtain by modifying this previous
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.8 (Darwin)
-----END PGP SIGNATURE-----
This archive was generated by a fusion of
Pipermail (Mailman edition) and