How to Prevent Type Flaw Attacks on Security Protocols (CSFW, 2000)

(untitled) - Heather, J; Lowe, G; Schneider, S