Re: [isabelle] implementation of SSL?



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


On 10 Sep 2009, at 14:02, amir mohajeri wrote:

Hi

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 verification



Jean


-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.8 (Darwin)

iEYEARECAAYFAkqpIBAACgkQQN0Max56WidOsACdGG4/P+VafjPwdCekF+76MkOy
xyMAnjMA5KgPK8+61WFHXg8SYh41H4ua
=woOK
-----END PGP SIGNATURE-----





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.