Slide 1 Modelling and Analysing of Security Protocol: Lecture 2 Cryptology for Protocols Analysis Tom Chothia CWI Slide 2 Today You just saw: –Simple notation for protocols…
