STORRE
STORRE: Stirling Online Research Repository
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1893/23914| Appears in Collections: | Computing Science and Mathematics Book Chapters and Sections |
| Title: | Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods |
| Author(s): | Bigi, Giancarlo Bracciali, Andrea Meacci, Giovanni Tuosto, Emilio |
| Contact Email: | abb@cs.stir.ac.uk |
| Editor(s): | Bodei, C Ferrari, G-L Priamo, C |
| Citation: | Bigi G, Bracciali A, Meacci G & Tuosto E (2015) Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods. In: Bodei C, Ferrari G & Priamo C (eds.) Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Lecture Notes in Computer Science, 9465. Cham, Switzerland: Springer, pp. 142-161. http://link.springer.com/chapter/10.1007/978-3-319-25527-9_11 |
| Issue Date: | 2015 |
| Date Deposited: | 20-Jul-2016 |
| Series/Report no.: | Lecture Notes in Computer Science, 9465 |
| Abstract: | Decentralised smart contracts represent the next step in the development of protocols that support the interaction of independent players without the presence of a coercing authority. Based on protocols a` la BitCoin for digital currencies, smart contracts are believed to be a potentially enabling technology for a wealth of future applications. The validation of such an early developing technology is as necessary as it is complex. In this paper we combine game theory and formal models to tackle the new challenges posed by the validation of such systems. |
| Rights: | Publisher policy allows this work to be made available in this repository. Published in Programming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday (2015) C Bodei, G-L Ferrari, and C Priami (eds.) by Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-25527-9_11 |
| URL: | http://link.springer.com/chapter/10.1007/978-3-319-25527-9_11 |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| bHalo_Degano2015.pdf | Fulltext - Accepted Version | 768.48 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.