Analysing Applications Layered on Unilaterally Authenticating Protocols - Gibson−Robinson, T; Lowe, G (2011)