Analysing Layered Security Protocols - Gibson−Robinson, T (University of Oxford, 2013)