中文
相关论文

相关论文: IoT Monitoring with Blockchain: Generating Smart C…

200 篇论文

A smart contract is a digital program of transaction protocol (rules of contract) based on the consensus architecture of blockchain. Smart contracts with Blockchain are modern technologies that have gained enormous attention in scientific…

分布式、并行与集群计算 · 计算机科学 2023-02-17 Norah M. Alshahrani , M. L. Mat Kiah , B. B. Zaidan , A. H. Alamoodi , Abdu Saif

The Internet of Things (IoT) is revolutionizing human life with the idea of interconnecting everyday used devices (Things) and making them smart. By establishing a communication network between devices, the IoT system aids in automating…

密码学与安全 · 计算机科学 2021-12-28 Abbas Saleminezhadl , Manuel Remmele , Ravikumar Chaudhari , Rasha Kashef

In this paper we discuss how conventional business contracts can be converted into smart contracts---their electronic equivalents that can be used to systematically monitor and enforce contractual rights, obligations and prohibitions at run…

计算机与社会 · 计算机科学 2018-05-03 Carlos Molina-Jimenez , Ellis Solaiman , Ioannis Sfyrakis , Irene Ng , Jon Crowcroft

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

计算机与社会 · 计算机科学 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

IoT cloud enabled societal applications have dramatically increased in the recent past due to the thrust for innovations, notably through startup initiatives, in various sectors such as agriculture, healthcare, industry, and so forth. The…

网络与互联网体系结构 · 计算机科学 2020-03-31 Shajulin Benedict , Rumaize P. , Jaspreet Kaur

This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts. Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich…

编程语言 · 计算机科学 2018-01-03 Ilya Sergey , Amrit Kumar , Aquinas Hobor

Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalties. To allow the analysis of SLA compliance before the…

分布式、并行与集群计算 · 计算机科学 2019-08-28 Frank S. de Boer , Elena Giachino , Stijn de Gouw , Reiner Hähnle , Einar Broch Johnsen , Cosimo Laneve , Ka I Pun , Gianluigi Zavattaro

While the smart surveillance system enhanced by the Internet of Things (IoT) technology becomes an essential part of Smart Cities, it also brings new concerns in security of the data. Compared to the traditional surveillance systems that is…

分布式、并行与集群计算 · 计算机科学 2018-07-20 Deeraj Nagothu , Ronghua Xu , Seyed Yahya Nikouei , Yu Chen

The data collected from Internet of Things (IoT) devices on various emissions or pollution, can have a significant economic value for the stakeholders. This makes it prone to abuse or tampering and brings forward the need to integrate IoT…

密码学与安全 · 计算机科学 2021-01-05 Lam D. Nguyen , Anders E. Kalør , Israel Leyva-Mayorga , Petar Popovski

A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important activities across industry sectors including supply chain,…

软件工程 · 计算机科学 2021-04-20 Palina Tolmach , Yi Li , Shang-Wei Lin , Yang Liu , Zengxiang Li

Blockchain technology (BT) Ethereum Smart Contracts allows programmable transactions that involve the transfer of monetary assets among peers on a BT network independent of a central authorizing agency. Ethereum Smart Contracts are programs…

密码学与安全 · 计算机科学 2021-05-21 Noama Fatima Samreen , Manar H. Alalfi

Internet of Things (IoT) devices pose significant security challenges due to their heterogeneity (i.e., hardware and software) and vulnerability to extensive attack surfaces. Today's conventional perimeter-based systems use credential-based…

密码学与安全 · 计算机科学 2023-11-29 Cem Bicer , Ilir Murturi , Praveen Kumar Donta , Schahram Dustdar

Infrastructure maintenance is inherently complex, especially for widely dispersed transport systems like roads and railroads. Maintaining this infrastructure involves multiple partners working together to ensure safe, efficient upkeep that…

计算机与社会 · 计算机科学 2024-10-29 Fatjon Seraj

The advancement in cloud networks has enabled connectivity of both traditional networked elements and new devices from all walks of life, thereby forming the Internet of Things (IoT). In an IoT setting, improving and scaling network…

密码学与安全 · 计算机科学 2020-02-04 Safi Faizullah , Muhammad Asad Khan , Ali Alzahrani , Imdadullah Khan

Today, the number of IoT devices in all aspects of life is exponentially increasing. The cities we are living in are getting smarter and informing us about our surroundings in a contextual manner. However, there lay significant challenges…

密码学与安全 · 计算机科学 2019-02-07 Kazım Rıfat Özyılmaz , Arda Yurdakul

Smart contracts, integral to blockchain ecosystems, enable decentralized applications to execute predefined operations without intermediaries. Their ability to enforce trustless interactions has made them a core component of platforms such…

密码学与安全 · 计算机科学 2025-06-10 Mesut Ozdag

Blockchain is a distributed ledger technology that gained popularity for enabling the transformation of cryptocurrency among peers without mediation by a centralized third-party authority. Smart contracts expand the applications of…

密码学与安全 · 计算机科学 2023-10-09 Majd Soud , Gísli Hjálmtýsson , Mohammad Hamdaqa

The agricultural sector is still lagging behind from all other sectors in terms of using the newest technologies. For production, the latest machines are being introduced and adopted. However, pre-harvest and post-harvest processing are…

计算机与社会 · 计算机科学 2021-04-02 Tahmid Hasan Pranto , Abdulla All Noman , Atik Mahmud , AKM Bahalul Haque

The Internet of Things (IoT) has already changed our daily lives by integrating smart devices together towards delivering high quality services to its clients. These devices when integrated together form a network through which massive…

密码学与安全 · 计算机科学 2021-12-20 Zulfiqar Ali Khan , Akbar Siami Namin

As more and more data is collected for various reasons, the sharing of such data becomes paramount to increasing its value. Many applications ranging from smart cities to personalized health care require individuals and organizations to…

计算机与社会 · 计算机科学 2018-05-01 Kevin Liu , Harsh Desai , Lalana Kagal , Murat Kantarcioglu