Validation of Decentralised Smart Contracts Through Game Theory and Formal Methods

被引：58

作者：

Bigi, Giancarlo ^{[1
]}

Bracciali, Andrea ^{[2
]}

Meacci, Giovanni ^{[3
,4
]}

Tuosto, Emilio ^{[5
]}

机构：

[1] Univ Pisa, Pisa, Italy

[2] Univ Stirling, Stirling, Scotland

[3] BitHalo, Los Angeles, CA 90024 USA

[4] Coin Cube LLC, New York, NY 11213 USA

[5] Univ Leicester, Leicester, Leics, England

来源：

PROGRAMMING LANGUAGES WITH APPLICATIONS TO BIOLOGY AND SECURITY: ESSAYS DEDICATED TO PIERPAOLO DEGANO ON THE OCCASION OF HIS 65TH BIRTHDAY | 2015年 / 9465卷

关键词：

AUTHENTICATION;

D O I：

10.1007/978-3-319-25527-9_11

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

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.

引用

页码：142 / 161

页数：20

共 23 条

[1]

[Anonymous], 2008, Bitcoin: A Peer-to-Peer Electronic Cash System

[2]

Antonopoulos A.M., 2015, MASTERING BITCOIN, V2nd

[3]

Back Adam., 2002, Hashcash-a denial of service counter-measure

[4]

Bartoletti M., 2015, LNCS IN PRESS

[5]

Bartoletti M, 2013, LECT NOTES COMPUT SC, V7892, P305

[6] Automata for analysing service contracts [J].

Basile, Davide ;

Degano, Pierpaolo ;

Ferrari, Gian Luigi .

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2014, 8902 :34-50

[7] A formal framework for secure and complying services [J].

Basile, Davide ;

Degano, Pierpaolo ;

Ferrari, Gian-Luigi .

JOURNAL OF SUPERCOMPUTING, 2014, 69 (01) :43-52

[8]

Bianco A., 1995, Foundations of Software Technology and Theoretical Computer Science. 15th Conference. Proceedings, P499

[9]

Dai W., 1998, B-money

[10]

de Soto H.P., PROPERTY RIGHTS PROJ

← 1 2 3 →