(70 points) 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.

Back to top