Isabelle/HOL tutorial download link, especially for Mr. T:
http://www4.in.tum.de/~nipkow/LNCS2283/tutorial.pdf
See chapter 10 for Needham Shroeder Protocol case study.
Categories
- Access Control (2)
- Achievements (8)
- Android Source (2)
- Announcements (22)
- Blogroll (1)
- Conferences (12)
- Cryptography (3)
- EASIP-Research (6)
- easip-web (14)
- Formal Methods (8)
- Ideas (12)
- Isabelle (6)
- Linux (23)
- MAC on mobile platform (7)
- Mobile Platforms (2)
- Multi Mashups (3)
- News (29)
- OpenERP (2)
- OpenMoko (3)
- PKI (3)
- Policy Writing (4)
- Profiles (11)
- Publications (1)
- Resources (32)
- Security (2)
- SELinux (12)
- Trusted Computing (17)
- Tutorials (7)
- Uncategorized (115)
- Vitualization (1)
IS Database
© All rights reserved. 2008-2009 | Powered by www.sergsoft.com2332