Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the existence of multi-protocol attacks on protocols described in literature. Given two or more protocols, that share key structures and are executed in the same environment, are new attacks possible? Out of 30 protocols from literature, we find that 23 are vulnerable to multi-protocol attacks. We identify two likely attack patterns and sketch a tagging scheme to prevent multi-protocol attacks.
|Title of host publication||Proceedings of the First International Conference in Availability, Reliability and Security (ARES, Vienna, Austria, April 20-22, 2006)|
|Publisher||IEEE Computer Society|
|Publication status||Published - 2006|