Slide 1Modelling and Analysing of Security Protocol: Lecture 14 Some Real Life Protocols Tom Chothia CWI Slide 2 Today What you can’t do with protocol: global consensus…