Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
cs-486:spin-homework-10 [2018/11/08 19:50]
egm
cs-486:spin-homework-10 [2018/11/12 20:58] (current)
egm
Line 1: Line 1:
-'''​(70 points)'''​ 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.
  
cs-486/spin-homework-10.txt ยท Last modified: 2018/11/12 20:58 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