On BAN logic and hash functions or: how an unjustified inference rule causes problems.

Wouter Teepe On BAN logic and hash functions or: how an unjustified inference rule causes problems. 76-88 2009 19 Autonomous Agents and Multi-Agent Systems 1 http://dx.doi.org/10.1007/s10458-008-9063-8 db/journals/aamas/aamas19.html#Teepe09