Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

DOI10.1007/978-3-319-25527-9_11zbMath1434.68043OpenAlexW2293740362WikidataQ62046284 ScholiaQ62046284MaRDI QIDQ3460868

Giancarlo Bigi, Giovanni Meacci, Andrea Bracciali, Emilio Tuosto

Publication date: 8 January 2016

Published in: Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1893/23914

Mathematics Subject Classification ID

Applications of game theory (91A80) Macroeconomic theory (monetary models, models of taxation) (91B64) Auctions, bargaining, bidding and selling, and other market models (91B26) Network protocols (68M12)

Uses Software

• PRISM

Cites Work

• Unnamed Item
• Unnamed Item
• An attack on the Needham-Schroeder public-key authentication protocol
• A logic for reasoning about time and reliability
• Automata for Analysing Service Contracts
• Model checking of probabilistic and nondeterministic systems
• Compliance in Behavioural Contracts: A Brief Survey
• On the security of public key protocols
• Using encryption for authentication in large networks of computers