How to prevent type-flaw and multi-protocol attacks on cryptographic protocols under Exclusive-OR
Sreekanth Malladi
Abstract:Type-flaw attacks and multi-protocol attacks are notorious threats to cryptographic protocol security. They are arguably the most commonly reported attacks on protocols. For nearly fifteen years, researchers have continuously emphasized the importance of preventing these attacks.In their classical works, Heather et al. and Guttman et al. proved that these could be prevented by tagging encrypted messages with distinct constants, in a standard protocol model with a free message algebra [23,21].However, most "rea… Show more
Set email alert for when this publication receives citations?
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.