| Document Date: 2007-12-18 01:01:14
Open Document File Size: 293,14 KBShare Result on Facebook
Currency pence / / / Facility Stanford University / Store SigR / / IndustryTerm abort protocol / sub-protocols / contract-signing protocols / modal operator / contract signing protocols / optimistic contract-signing protocols / optimistic contract signing protocols / contract-signing protocol / related protocols / public-key infrastructure / abstract protocol / resolve protocol / automated finitestate enumeration tool / actual protocol / wireless networking standard / authentication protocols / / Organization Saarland University / Stanford University / / Person John C. Mitchell / Nancy Abstract / Anupam Datta / Michael Backes / Derek b / Mathieu Turuani / / Position protocol designer / / ProvinceOrState X / / SportsLeague Stanford University / / Technology ASW exchange protocol / ASW protocol / 2.2 Garay-Jakobsson-MacKenzie Protocol The protocol / optimistic contract-signing protocols / actual protocol / exchange protocol / 3.2 Protocol / R. The GJM protocol / GJM resolve protocol / authentication protocols / GJM exchange protocol / abstract protocol / Garay-Jacobson-MacKenzie protocols / The GJM abort protocol / same two protocols / GJM protocol / 2 Contract Signing Protocols / GJM protocols / contract-signing protocols / two example protocols / abort protocol / contract-signing protocol / 2006 protocols / 4 The exchange protocol / two contract signing protocols / 2.1 Asokan-Shoup-Waidner Protocol The protocol / fixed-round fair two-party protocols / ASW resolve protocol / 1 Introduction Contract-signing protocols / SSL / typically three sub-protocols / resolve protocol / 3.1 Protocol / public-key infrastructure / optimistic contract signing protocols / /
SocialTag |
Compositional Analysis of Contract Signing Protocols Michael Backes a , Anupam Datta b , Ante Derek b , John C. Mitchell b and Mathieu Turuani c a Saarland