Data independent verification of crypto−protocols - Roscoe, A; Broadfoot, P; Lowe, G (2000)