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