How to Prevent Type Flaw Attacks on Security Protocols - Heather, J; Lowe, G; Schneider, S (CSFW, 2000)