Re: [isabelle] can u pls help me!
You can start by taking a look in the subdirectory src/HOL/Auth in Isabelle's distribution. There is a set of examples from classics to deployed protocols. A very helpful reading is Giampaolo Bella's book on Security Protocol Verification. Larry Paulson's website also has a very good repository of documentation for you to start.
On 24 Jun 2010, at 21:17, pho thar wrote:
> hello anyone
> i m master student n now i m doing my thesis about
> verify the online purchase protocol..
> so, if u don't hv too much
> trouble, can i get the sample code for this kind of topic n aslo which
> documentation do u recommand to read...
> u can give me any
> suggestion for my topic n i will be really tnkful for any suggestion n
> tnks n regards
> Htoo Aung Maw
> Hotmail: Powerful Free email with security by Microsoft.
This archive was generated by a fusion of
Pipermail (Mailman edition) and