Fair Exchange in Strand Spaces

Joshua D. Guttman

Many cryptographic protocols are intended to coordinate state changes among principals. Exchange protocols coordinate delivery of new values to the participants, e.g. additions to…