Analysis of Offline Fair Exchange Protocols in Strand Spaces | IEEE Conference Publication | IEEE Xplore