Re: [isabelle] implementation of SSL?

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

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

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


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.