中文
相关论文

相关论文: A Practical System Architecture for Contract Autom…

200 篇论文

In recent years, manifold blockchain protocols have been proposed by researchers and industrial companies alike. This has led to a very heterogeneous blockchain landscape. Accordingly, it would be desirable if blockchains could interact…

密码学与安全 · 计算机科学 2021-06-29 Markus Nissl , Emanuel Sallinger , Stefan Schulte , Michael Borkowski

The problem of a single point of failure in centralized systems poses a great challenge to the stability of such systems. Meanwhile, the tamperability of data within centralized systems makes users reluctant to trust and use centralized…

密码学与安全 · 计算机科学 2025-04-22 Ka Wai Wu

Formal verification entails testing software to ensure it operates as specified. Smart contracts are self-executing contracts with the terms of the agreement directly written into lines of code. They run on blockchain platforms and…

软件工程 · 计算机科学 2025-10-22 Rene Davila , Everardo Barcenas , Rocio Aldeco-Perez

The hype about Bitcoin has overrated the potential of smart contracts deployed on-blockchains (on-chains) and underrated the potential of smart contracts deployed on-Trusted Third Parties (on-TTPs). As a result, current research and…

网络与互联网体系结构 · 计算机科学 2020-10-27 Carlos Molina-Jimenez , Ioannis Sfyrakis , Linmao Song , Hazem Danny Al Nakib , Jon Crowcroft

The potential for blockchain technology to eliminate the middleman and replace the top down hierarchical model of governance with a system of distributed cooperation has opened up many new opportunities, as well as dilemmas. Surpassing the…

软件工程 · 计算机科学 2023-04-12 Simona Ramos , Morshed Mannan

Digital transactions currently exceed trillions of dollars annually, yet traditional paper-based agreements remain a bottleneck for automation, enforceability, and dispute resolution. Natural language contracts introduce ambiguity, require…

密码学与安全 · 计算机科学 2025-10-24 To-Wen Liu , Matthew Green

Smart contracts are computer programs that can be consistently executed by a network of mutually distrusting nodes, without the arbitration of a trusted authority. Because of their resilience to tampering, smart contracts are appealing in…

密码学与安全 · 计算机科学 2018-06-21 Massimo Bartoletti , Livio Pompianu

A key component of blockchain technology is the ledger, viz., a database that, unlike standard databases, keeps in memory the complete history of past transactions as in a notarial archive for the benefit of any future test. In…

密码学与安全 · 计算机科学 2021-10-01 Paolo Bottoni , Anna Labella , Remo Pareschi

Blockchain architectures promise disruptive innovation but factually they pose many architectural restrictions to classical service-based applications and show considerable design, implementation, and operations overhead. Furthermore, the…

软件工程 · 计算机科学 2022-09-26 Giovanni Quattrocchi , Damian Andrew Tamburri , WIllem-Jan Van Den Heuvel

The developed system aims to incorporate a private blockchain technology in the procurement process for the supply office. The procurement process includes the canvassing, purchasing, delivery and inspection of items, inventory, and…

密码学与安全 · 计算机科学 2024-07-15 Alonel A. Hugo , Gerard Nathaniel C. Ngo

Blockchains provide environments where parties can interact transparently and securely peer-to-peer without needing a trusted third party. Parties can trust the integrity and correctness of transactions and the verifiable execution of…

密码学与安全 · 计算机科学 2023-03-02 Simon Tschirner , Shashank Shekher Tripathi , Mathias Roeper , Markus M. Becker , Volker Skwarek

The combination between innovative topics and emerging technologies lets researchers define new processes and models. New needs regard the definition of modular and scalable approaches, with society and environment in mind. An important…

软件工程 · 计算机科学 2023-05-08 Marco Fiore , Marina Mongiello

Blockchains and smart contracts are an emerging, promising technology, that has received considerable attention. We use the blockchain technology, and in particular Ethereum, to implement a large-scale event-based Internet of Things (IoT)…

密码学与安全 · 计算机科学 2019-07-10 Nikos Fotiou , Iakovos Pittaras , Vasilios A. Siris , Spyros Voulgaris , George C. Polyzos

Many recent social media posts and news may create a perception of big success in the use of blockchain for the real estate industry, land registration and protection of titles and property rights. A sobering outlook is crucial because…

计算机与社会 · 计算机科学 2020-07-24 Oleksii Konashevych

The industrial market continuously needs reliable solutions to secure autonomous systems. Especially as these systems become more complex and interconnected, reliable security solutions are becoming increasingly important. One promising…

密码学与安全 · 计算机科学 2025-06-30 Önder Gürcan

Blockchain technology has emerged as one of the most transformative digital innovations of the 21st century. This paper presents a comprehensive review of blockchain's fundamental architecture, tracing its development from Bitcoin's initial…

密码学与安全 · 计算机科学 2025-05-14 Aditya Pratap Singh

Blockchain has been promoted as a remedy for coordination in fragmented, multi-stakeholder ecosystems, yet many projects stall at pilot stage. Using a design-science approach, we develop the Hybrid Cooperative (HC), a digitally native…

计算机与社会 · 计算机科学 2025-09-17 Henrik Axelsen , Jan Damsgaard

The internet of things (IoT) and other emerging ubiquitous technologies are supporting the rapid spread of smart systems, which has underlined the need for safe, open, and decentralized data storage solutions. With its inherent…

网络与互联网体系结构 · 计算机科学 2024-08-13 Naseem Alsadi , Syed Zaidi , Mankaran Rooprai , Stephen A. Gadsden , John Yawney

This paper presents the development of an online procurement system and the integration of blockchain technology. Various tools such as PHP, JavaScript, HTML, CSS, and jQuery were used in designing the graphical, programming logic, and…

密码学与安全 · 计算机科学 2019-11-14 August Thio-ac , Erwin John Domingo , Ricca May Reyes , Nilo Arago , Romeo Jr. Jorda , Jessica Velasco

The traceable execution of business processes and choreographies using smart contracts is one prominent application of blockchain technology in Business Process Management (BPM). Existing approaches support a large set of patterns, modeling…

软件工程 · 计算机科学 2021-04-19 Jan Ladleif , Mathias Weske