Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] can u pls help me!


view this post on Zulip Email Gateway (Aug 18 2022 at 15:35):

From: pho thar <phothar.99@hotmail.com>
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
idea...

tnks n regards
Htoo Aung Maw


Hotmail: Powerful Free email with security by Microsoft.
https://signup.live.com/signup.aspx?id=60969

view this post on Zulip Email Gateway (Aug 18 2022 at 15:35):

From: Jean Martina <Jean.Martina@cl.cam.ac.uk>
Hello,

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.

Jean


Last updated: Mar 28 2024 at 08:18 UTC