How to Prevent Type Flaw Attacks on Security Protocols

Bibliographic Details
Main Authors: Heather, J, Lowe, G, Schneider, S
Format: Journal article
Published: 2003