Email Gateway (Aug 18 2022 at 15:35): 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
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: Nov 21 2024 at 12:39 UTC