中文
相关论文

相关论文: Contract-based Methodology for Developing Resilien…

200 篇论文

Many different worldwide initiatives are promoting the transformation from machine dominant manufacturing to digital manufacturing. Thus, to achieve a successful transformation to Industry 4.0 standard, manufacturing enterprises are…

软件工程 · 计算机科学 2024-02-01 Víctor Julio Ramírez-Durán , Idoia Berges , Arantza Illarramendi

Building resilience into today's complex infrastructures is critical to the daily functioning of society and its ability to withstand and recover from natural disasters, epidemics, and cyber-threats. This study proposes quantitative…

While the blockchain-based smart contract has become a hot topic of research over the last decade, not the least in the context of Industry 4.0, it now has well-known legal and technical shortcomings that currently prohibit its real-world…

软件工程 · 计算机科学 2024-08-13 Emanuel Palm , Ulf Bodin , Olov Schelén

Reentrancy vulnerability as one of the most notorious vulnerabilities, has been a prominent topic in smart contract security research. Research shows that existing vulnerability detection presents a range of challenges, especially as smart…

软件工程 · 计算机科学 2024-03-19 Zexu Wang , Jiachi Chen , Yanlin Wang , Yu Zhang , Weizhe Zhang , Zibin Zheng

The increasing use of Infrastructure as Code (IaC) in DevOps leads to benefits in speed and reliability of deployment operation, but extends to infrastructure challenges typical of software systems. IaC scripts can contain defects that…

软件工程 · 计算机科学 2022-06-22 Michele Chiari , Michele De Pascalis , Matteo Pradella

Resilience in optical networks has traditionally relied on redundancy and pre-planned recovery strategies, both of which assume a certain level of disaster predictability. However, recent environmental changes such as climate shifts, the…

Smart contracts are automated or self-enforcing contracts that can be used to exchange assets without having to place trust in third parties. Many commercial transactions use smart contracts due to their potential benefits in terms of…

软件工程 · 计算机科学 2021-06-08 Xiao Liang Yu , Omar Al-Bataineh , David Lo , Abhik Roychoudhury

As a novel technology, cloud computing attracts more and more people including technology enthusiasts and malicious users. Different from the classical network architecture, cloud environment has many its own features which make the…

密码学与安全 · 计算机科学 2015-12-10 Zibin Su , Jing Yuan

Industrial monitoring systems, especially when deployed in Industry 4.0 environments, are experiencing a shift in paradigm from traditional rule-based architectures to data-driven approaches leveraging machine learning and artificial…

人工智能 · 计算机科学 2026-05-28 Giovanni De Gasperis , Sante Dino Facchini

As part of the Internet of Things (IoT) and Industry 4.0 Cloud services are increasingly interacting with low-performance devices that are used in automation. This results in security issues that will be presented in this paper. Particular…

密码学与安全 · 计算机科学 2024-05-21 Michael Molle , Ulrich Raithel , Dirk Kraemer , Norbert Graß , Matthias Söllner , Andreas Aßmuth

This study proposes a conceptual model to link IT capabilities, industry types, and value implications. We attempt to use a contingency analysis to theorize that which types of IT capabilities (e.g., externally-focused, internally-focused,…

计算机与社会 · 计算机科学 2016-06-09 Po-Yen Chen , Chorng-Shyong Ong

Blockchain-based smart contract has become a growing field in the blockchain technology. What was once a technology used to solve digital transaction issues turns out to have some wider usage, including smart contract. The development of…

密码学与安全 · 计算机科学 2021-08-23 Fengkie Junis , Faisal Malik Widya Prasetya , Farouq Ibrahim Lubay , Anny Kartika Sari

This paper aims to enhance the security and resilience of Critical Information Infrastructures (CIIs) by providing a dynamic collaborative, warning and response system (CyberSANE system) supporting and guiding security officers and…

计算机与社会 · 计算机科学 2020-03-13 Spyridon Papastergiou , Haralambos Mouratidis , Eleni-Maria Kalogeraki

The transformation of power grids into intelligent cyber-physical systems brings numerous benefits, but also significantly increases the surface for cyber-attacks, demanding appropriate countermeasures. However, the development, validation,…

Despite the rapid growth of smart contracts, they are suffering numerous security vulnerabilities due to the absence of reliable development and testing. In this article, we apply the metamorphic testing technique to detect smart contract…

软件工程 · 计算机科学 2023-03-07 Jiahao Li

Cybersecurity of Industrial Control Systems (ICS) is drawing significant concerns as data communication increasingly leverages wireless networks. A lot of data-driven methods were developed for detecting cyberattacks, but few are focused on…

机器学习 · 计算机科学 2020-09-28 Dan Li , Paritosh Ramanan , Nagi Gebraeel , Kamran Paynabar

Critical infrastructures form a technological skeleton of our world by providing us with water, food, electricity, gas, transportation, communication, banking, and finance. Moreover, as urban population increases, the role of…

物理与社会 · 物理学 2017-01-04 Konstantin Zuev , Michael Beer

This paper introduces a novel complexity-informed approach to cybersecurity management, addressing the challenges found within complex cyber defences. We adapt and extend the complexity theory to cybersecurity and develop a quantitative…

密码学与安全 · 计算机科学 2025-01-28 Lampis Alevizos

In this chapter, we introduce methods to address resiliency issues for control systems. The main challenge for control systems is its cyber-physical system nature which strongly couples the cyber systems with physical layer dynamics. Hence…

系统与控制 · 电气工程与系统科学 2021-05-19 Quanyan Zhu

Active distribution networks facilitating bidirectional power exchange with renewable energy resources are susceptible to cyberattacks due to integration of a diverse array of cyber components. This study introduces a grid-level defense…

系统与控制 · 电气工程与系统科学 2025-11-18 Hampei Sasahara , Tatsuya Yamada , Jun-ichi Imura , Henrik Sandberg