Pitfalls in Formal Reasoning about Security Protocols | IEEE Conference Publication | IEEE Xplore