1st MSc year - Security Protocols: Modelling and Verification