1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Book Chapters and Sections
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/23914
Full metadata record
DC FieldValueLanguage
dc.contributor.authorBigi, Giancarloen_UK
dc.contributor.authorBracciali, Andreaen_UK
dc.contributor.authorMeacci, Giovannien_UK
dc.contributor.authorTuosto, Emilioen_UK
dc.contributor.editorBodei, Cen_UK
dc.contributor.editorFerrari, G-Len_UK
dc.contributor.editorPriamo, Cen_UK
dc.date.accessioned2016-07-25T14:05:48Z-
dc.date.available2016-07-25T14:05:48Z-
dc.date.issued2015en_UK
dc.identifier.urihttp://hdl.handle.net/1893/23914-
dc.description.abstractDecentralised 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.en_UK
dc.language.isoenen_UK
dc.publisherSpringeren_UK
dc.relationBigi 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_11en_UK
dc.relation.ispartofseriesLecture Notes in Computer Science, 9465en_UK
dc.rightsPublisher 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_11en_UK
dc.titleValidation of Decentralised Smart Contracts Through Game Theory and Formal Methodsen_UK
dc.typePart of book or chapter of booken_UK
dc.citation.issn0302-9743en_UK
dc.citation.spage142en_UK
dc.citation.epage161en_UK
dc.citation.publicationstatusPublisheden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.identifier.urlhttp://link.springer.com/chapter/10.1007/978-3-319-25527-9_11en_UK
dc.author.emailabb@cs.stir.ac.uken_UK
dc.citation.btitleProgramming Languages with Applications to Biology and Security: Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthdayen_UK
dc.citation.isbn978-3-319-25526-2en_UK
dc.citation.isbn978-3-319-25527-9en_UK
dc.publisher.addressCham, Switzerlanden_UK
dc.contributor.affiliationUniversity of Pisaen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationCoin Cube LLCen_UK
dc.contributor.affiliationUniversity of Leicesteren_UK
dc.identifier.wtid555186en_UK
dc.contributor.orcid0000-0003-1451-9260en_UK
dcterms.dateAccepted2015-12-31en_UK
dc.date.filedepositdate2016-07-20en_UK
rioxxterms.typeBook chapteren_UK
rioxxterms.versionAMen_UK
local.rioxx.authorBigi, Giancarlo|en_UK
local.rioxx.authorBracciali, Andrea|0000-0003-1451-9260en_UK
local.rioxx.authorMeacci, Giovanni|en_UK
local.rioxx.authorTuosto, Emilio|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorBodei, C|en_UK
local.rioxx.contributorFerrari, G-L|en_UK
local.rioxx.contributorPriamo, C|en_UK
local.rioxx.freetoreaddate2016-07-20en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2016-07-20|en_UK
local.rioxx.filenamebHalo_Degano2015.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source978-3-319-25527-9en_UK
Appears in Collections:Computing Science and Mathematics Book Chapters and Sections

Files in This Item:
File Description SizeFormat 
bHalo_Degano2015.pdfFulltext - Accepted Version768.48 kBAdobe PDFView/Open


This item is protected by original copyright

View License
Show simple item record


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.