Compositional analysis of contract signing protocols | IEEE Conference Publication | IEEE Xplore