How to Prevent Type Flaw Attacks on Security Protocols
James Heather‚ Gavin Lowe and Steve Schneider
Journal
Journal of Computer Security
Number
2
Pages
217−244
Volume
11
Year
2003
James Heather‚ Gavin Lowe and Steve Schneider