A Logic to Model Time in Cryptographic Protocols | IEEE Conference Publication | IEEE Xplore