Formal semantics for logics of cryptographic protocols | IEEE Conference Publication | IEEE Xplore