Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86723
Title: | Optional monitoring for long-lived transactions |
Authors: | Ellul, Joshua Pace, Gordon J. |
Keywords: | Formal methods (Computer science) Verification (Logic) Smart contracts |
Issue Date: | 2021 |
Citation: | Ellul, J., & Pace, G. J. (2021). Optional monitoring for long-lived transactions. VORTEX ’21, Denmark. 1-6 |
Abstract: | Runtime monitoring comes at a runtime cost. Overheads induced by monitoring and verification code may be necessary, and yet prohibitive in certain circumstances. When verification is local to a single unit of execution in a system, one can choose whether or not to monitor based on the risk of that individual unit. In this paper, we propose a monitoring and verification approach for a class of long-lived transactionbased systems whose execution can be partitioned into separate subtraces, one for each such transaction, and which are independent of each other from a correctness perspective. We focus on the use of this approach for the monitoring of smart contracts on distributed ledger technologies to show how we can reduce overheads in this manner. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/86723 |
Appears in Collections: | Scholarly Works - CenDLT Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Optional_monitoring_for_long_lived_transactions.pdf | 638.24 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.