Some say that if you manage to get Bruce Schneier's autograph on your protocol specification, it will succeed in every formal verification tool.
Thank you for voting
Bruce Schneier Facts
Things you might not know about Bruce Schneier