search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
cs-486:spin-homework-10 [2018/11/08 12:50] egm |
cs-486:spin-homework-10 [2018/11/12 13:58] (current) egm |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | Complete [http://www.cse.chalmers.se/edu/year/2016/course/TDA293/Lab1.html Part 2] of Lab 1 from the [http://www.cse.chalmers.se/edu/year/2016/course/TDA293/ Sofware Engineering Formal Methods Course] at Chalmers University of Technology. | + | '''(70 points)''' Complete [http://www.cse.chalmers.se/edu/course/TDA294/Lab1.html Part 2] of Lab 1 from the [http://www.cse.chalmers.se/edu/course/TDA294/ Sofware Engineering Formal Methods Course] at Chalmers University of Technology. |
| - | [http://www.cse.chalmers.se/edu/year/2016/course/TDA293/Lab1.html Part 2] is to model [https://en.wikipedia.org/wiki/Needham%E2%80%93Schroeder_protocol Needham-Schroeder protocol], and then augment that model with an attacker, patch the protocol, and verify the patched protocol correct. | + | [http://www.cse.chalmers.se/edu/course/TDA294/Lab1.html Part 2] is to model [https://en.wikipedia.org/wiki/Needham%E2%80%93Schroeder_protocol Needham-Schroeder protocol], and then augment that model with an attacker, patch the protocol, and verify the patched protocol correct. |
