A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange | IEEE Conference Publication | IEEE Xplore