Assume-guarantee synthesis for digital contract signing

DOI10.1007/S00165-013-0283-6zbMath1342.94068OpenAlexW1752787361MaRDI QIDQ736809

Krishnendu Chatterjee, Vishwanath Raman

Publication date: 5 August 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-013-0283-6

zbMATH Keywords

assume-guarantee reasoninggraph gamesassume-guarantee synthesisdigital contract signingfair exchange protocolsmodel checking and synthesis

Mathematics Subject Classification ID

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

Related Items (3)

Synthesizing Protocols for Digital Contract Signing ⋮ Graph Games and Reactive Synthesis ⋮ Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies

Uses Software

• MOCHA

Cites Work

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

This page was built for publication: Assume-guarantee synthesis for digital contract signing