**This is an old revision of the document!**

Complete Part 2 of Lab 1 from the Sofware Engineering Formal Methods Course at Chalmers University of Technology.

Part 2 is to model Needham-Schroeder protocol, and then augment that model with an attacker, patch the protocol, and verify the patched protocol correct.

cs-486/spin-homework-10.1541706615.txt.gz · Last modified: 2018/11/08 12:50 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0