Documents Modelling and Analysing of Security Protocol: Lecture 5 BAN logic Tom Chothia CWI.

Slide 1 Modelling and Analysing of Security Protocol: Lecture 5 BAN logic Tom Chothia CWI Slide 2 Introduction So far you have learn: – the “vocabulary” of protocols…