Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha. Understanding the intruder through attacks on cryptographic protocols. In Ronaldo Menezes, editor, Proceedings of the 44st Annual Southeast Regional Conference, 2006, Melbourne, Florida, USA, March 10-12, 2006. pages 667-672, ACM, 2006. [doi]
Abstract is missing.