Modelling the relative strength of security protocols. - Ho Chung; Clifford Neuman (QoP, 2006)