How to Prevent Type Flaw Attacks on Security Protocols

A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number of type flaw attacks have appeared in the academic literature. In this paper we prove that type flaw attacks can be prevented using a simple technique of tagging each field with some information indicating its intended type.

• Type: Conference
• Year: 2000
• Where: CSFW
• Authors: James Heather, Gavin Lowe, Steve Schneider
• Keywords: CSFW 2000, Intended Type, Security Privacy, Security Protocol, Type flaw Attacks