Decidability of Trace Equivalence for Protocols with Nonces | IEEE Conference Publication | IEEE Xplore