Runtime Verification for Blockchains

被引：0

作者：

Ganguly, Ritam ^{[1
]}

机构：

[1] Michigan State Univ, Dept Comp Sci, E Lansing, MI 48824 USA

来源：

2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021) | 2021年

关键词：

Runtime Verification; Metric Temporal Logic; Blockchains; Distributed Systems;

D O I：

10.1109/SRDS53918.2021.00043

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Blockchains present a secure and reliable ledger to store transactions, but ensuring that a set of transactions follow a certain policy is difficult. In this paper we present a runtime verification approach to monitor transactions involving multiple blockchains with respect to specifications in metric temporal logic (MTL). In our setting, we consider runtime verification of partially synchronous blockchains where a clock synchronization algorithm guarantees a bound on maximum clock skew among all the blockchains in the system.

引用

页码：347 / 348

页数：2

共 9 条

[1] Monitoring Metric First-Order Temporal Properties [J].

Basin, David ;

Klaedtke, Felix ;

Mueller, Samuel ;

Zalinescu, Eugen .

JOURNAL OF THE ACM, 2015, 62 (02)

[2]

Bauer A, 2016, FORM METHOD SYST DES, V48, P46, DOI [10.1007/s10703-016-0253-8, 10.1007/978-3-642-32759-9_10]

[3] Runtime Verification for LTL and TLTL [J].

Bauer, Andreas ;

Leucker, Martin ;

Schallhart, Christian .

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2011, 20 (04)

[4] LOLA:: Runtime monitoring of synchronous systems [J].

D'Angelo, B ;

Sankaranarayanan, S ;

Sánchez, C ;

Robinson, W ;

Finkbeiner, B ;

Sipma, HB ;

Mehrotra, S ;

Manna, Z .

12TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS, 2005, :166-174

[5]

Ganguly R., 2021, 24 INT C PRINCIPLES, V184

[6] Blockchains and the Future of Distributed Computing [J].

Herlihy, Maurice .

PROCEEDINGS OF THE ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'17), 2017, :155-155

[7]

Martin J., 2010, Internet Engineering Task Force, Request for Comments RFC 5905, DOI [10.17487/RFC5905, DOI 10.17487/RFC5905]

[8] Decentralized Runtime Verification of LTL Specifications in Distributed Systems [J].

Mostafa, Menna ;

Bonakdarpour, Borzoo .

2015 IEEE 29TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), 2015, :494-503

[9]

Xue Y., 2021, HEDGING SORE LOSER A

← 1 →