Brünnler, Kai; Flumini, Dandolo; Studer, Thomas (2020). A logic of blockchain updates Journal of Logic and Computation, 30(8), pp. 1469-1485. Oxford University Press https://doi.org/10.1093/logcom/exaa045
|
Text
exaa045.pdf - Published Version Available under License Publisher holds Copyright (National Licenses). Download (221kB) | Preview |
Blockchains are distributed data structures that are used to achieve consensus in systems for cryptocurrencies (like Bitcoin) or smart contracts (like Ethereum). Although blockchains gained a lot of popularity recently, there are only few logic-based models for blockchains available. We introduce BCL, a dynamic logic to reason about blockchain updates, and show that BCL is sound and complete with respect to a simple blockchain model.
Item Type: |
Journal Article (Original Article) |
|---|---|
Division/Institute: |
School of Engineering and Computer Science > Research Institute for the Security in the Information Society RISIS School of Engineering and Computer Science > Institute for Cybersecurity & Engineering (ICE) |
Name: |
Brünnler, Kai; Flumini, Dandolo and Studer, Thomas |
Subjects: |
Q Science > QA Mathematics |
ISSN: |
1465-363X |
Publisher: |
Oxford University Press |
Language: |
English |
Submitter: |
Kai Brünnler |
Date Deposited: |
27 Jan 2021 09:32 |
Last Modified: |
21 Aug 2023 14:44 |
Publisher DOI: |
https://doi.org/10.1093/logcom/exaa045 |
ARBOR DOI: |
10.24451/arbor.14258 |
URI: |
https://arbor.bfh.ch/id/eprint/14258 |
Actions (login required)
 |
View Item |