Untraceability in the applied pi-calculus | IEEE Conference Publication | IEEE Xplore