Assume-guarantee synthesis for digital contract signing

DOI10.1007/S00165-013-0283-6zbMATH Open1342.94068OpenAlexW1752787361MaRDI QIDQ736809FDOQ736809

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

Recommendations

• Synthesizing protocols for digital contract signing
• Assume-Guarantee Synthesis
• Compositional analysis of contract-signing protocols
• Formal analysis of multiparty contract signing
• Finite-state analysis of two contract signing protocols

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Supervisory Control of a Class of Discrete Event Processes
• Title not available (Why is that?)
• Games with secure equilibria
• Optimistic fair exchange of digital signatures
• LTL model checking for security protocols
• Title not available (Why is that?)
• CONCUR 2003 - Concurrency Theory
• Assume-Guarantee Synthesis
• Formal analysis of multiparty contract signing
• Finite-state analysis of two contract signing protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

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

Uses Software

• MOCHA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736809)