Synthesizing Protocols for Digital Contract Signing

DOI10.1007/978-3-642-27940-9_11zbMath1325.94115OpenAlexW2113127944MaRDI QIDQ2891408

Vishwanath Raman, Krishnendu Chatterjee

Publication date: 15 June 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-27940-9_11

Mathematics Subject Classification ID

Applications of game theory (91A80) Cryptography (94A60)

Related Items (2)

Graph Games and Reactive Synthesis ⋮ Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition

Uses Software

• MOCHA

Cites Work

• Assume-guarantee synthesis for digital contract signing
• Games with secure equilibria
• Finite-state analysis of two contract signing protocols
• Supervisory Control of a Class of Discrete Event Processes
• Optimistic fair exchange of digital signatures
• Assume-Guarantee Synthesis
• CONCUR 2003 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Synthesizing Protocols for Digital Contract Signing