Scalable, Secure and Broad-Spectrum Enforcement of Contracts, Without Blockchains

04/22/2019
by   Naftaly Minsky, et al.
0

This paper introduces a scalable and secure contract-enforcement mechanism, called Cop, which can be applied to a broad range of multi-agent systems including small and large systems, time-critical systems, and systems-of-systems. Cop enforces contracts (or protocols) via the existing Law- Governed Interaction (LGI) mechanism, coupled with a new protective layer that significantly enhances the dependability and security of such enforcement. Cop is arguably superior to the currently popular blockchain-based smart-contract mechanisms, due to its scalability, interoperability, and the breadth of the spectrum of its domain of applications.

READ FULL TEXT

page 2

page 3

page 4

page 5

page 6

page 7

page 8

page 10

research
08/15/2022

Smart Contract Synthesis Modulo Hyperproperties

Smart contracts are small but highly security-critical programs that imp...
research
02/03/2020

Smart Contract-based Secure Spectrum Sharing in Multi-Operators Wireless Communication Networks

Multiple-operators (multi-OPs) spectrum sharing mechanism can effectivel...
research
01/20/2023

Side Contract Commitment Attacks on Blockchains

We identify a subtle security issue that impacts the design of smart con...
research
11/03/2021

Chirotonia: A Scalable and Secure e-Voting Framework based on Blockchains and Linkable Ring Signatures

In this paper we propose a comprehensive and scalable framework to build...
research
01/16/2019

VeriSign: A Secure Contract Consensus Platform on the Blockchain with Amendment Functionality

While electronic signatures are widespread, there currently exists no vi...
research
07/14/2022

Multi: a Formal Playground for Multi-Smart Contract Interaction

Blockchains are maintained by a network of participants that run algorit...
research
10/18/2020

Spectrum-Flexible Secure Broadcast Ranging

Secure ranging is poised to play a critical role in several emerging app...

Please sign up or login with your details

Forgot password? Click here to reset