Re: [isabelle] implementation of SSL?



I think you are confusing formal proofs about the TLS protocol (which is closely related to SSL). See

http://www.cl.cam.ac.uk/~lp15/papers/Auth/tls.pdf

However, there is no actual implementation of SSL in Isabelle.
Larry Paulson


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

Hi

I want to know about implementation of SSL protocol by Isabelle ??
Can you help me about that?










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