Assume-guarantee synthesis for digital contract signing

DOI10.1007/S00165-013-0283-6MaRDI QIDQ736809zbMATH OpenOpenAlexFDO

Authors 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)

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

Cites work

• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 4124989 (Why is no real title available?)
• scientific article; zbMATH DE number 1304004 (Why is no real title available?)
• scientific article; zbMATH DE number 1950630 (Why is no real title available?)
• scientific article; zbMATH DE number 2044544 (Why is no real title available?)
• scientific article; zbMATH DE number 1418311 (Why is no real title available?)
• scientific article; zbMATH DE number 1440048 (Why is no real title available?)
• An \(O(n^2)\) time algorithm for alternating Büchi games
• Assume-Guarantee Synthesis
• Contract signing, optimism, and advantage.
• Finite-state analysis of two contract signing protocols
• Formal analysis of multiparty contract signing
• Games with secure equilibria
• LTL model checking for security protocols
• Optimistic fair exchange of digital signatures
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(4)

• Graph Games and Reactive Synthesis
• Synthesizing protocols for digital contract signing
• Assume-Guarantee Synthesis
• Ergodic Mean-Payoff Games for the Analysis of Attacks in Crypto-Currencies

Describes a project that uses

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)