中文
相关论文

相关论文: Reviewing BPMN as a Modeling Notation for CACAO Se…

200 篇论文

Nowadays, companies are highly exposed to cyber security threats. In many industrial domains, protective measures are being deployed and actively supported by standards. However the global process remains largely dependent on document…

密码学与安全 · 计算机科学 2024-09-13 Christophe Ponsard

The integration of the Internet of Things (IoT) into Cyber-Physical Systems (CPSs) has expanded their cyber-attack surface, introducing new and sophisticated threats with potential to exploit emerging vulnerabilities. Assessing the risks of…

密码学与安全 · 计算机科学 2024-09-25 Braden K Webb , Sumit Purohit , Rounak Meyur

We consider a security setting in which the Cyber-Physical System (CPS) is composed of subnetworks where each subnetwork is under ownership of one defender. Such CPS can be represented by an attack graph where the defenders are required to…

系统与控制 · 电气工程与系统科学 2020-12-24 Mustafa Abdallah , Sayan Mitra , Shreyas Sundaram , Saurabh Bagchi

Uncertainty, error, and similar complications add to the many challenges of cyber security. Various disciplines have developed methods for managing these complications, but applying these methods involves disambiguating overlapping…

密码学与安全 · 计算机科学 2018-04-27 Antonio Roque

Today's process modeling languages often force the analyst or modeler to straightjacket real-life processes into simplistic or incomplete models that fail to capture the essential features of the domain under study. Conventional business…

数据库 · 计算机科学 2017-03-17 Wil M. P. van der Aalst , Guangming Li , Marco Montali

In this paper we explore cyber security defence, through the unification of a novel cyber security simulator with models for (causal) decision-making through optimisation. Particular attention is paid to a recently published approach:…

密码学与安全 · 计算机科学 2022-08-08 Alex Andrew , Sam Spillard , Joshua Collyer , Neil Dhir

Over the past decade, high performance computational (HPC) clusters have become mainstream in academic and industrial settings as accessible means of computation. Throughout their proliferation, HPC security has been a secondary concern to…

密码学与安全 · 计算机科学 2007-05-23 Dmitry Mogilevsky , Adam Lee , William Yurcik

Cross-border data transfer is vital for the digital economy by enabling data flow across different countries or regions. However, ensuring compliance with diverse data protection regulations during the transfer introduces significant…

密码学与安全 · 计算机科学 2024-12-13 Zhixian Zhuang , Xiaodong Lee , Jiuqi Wei , Yufan Fu , Aiyao Zhang

A key element in defending computer networks is to recognize the types of cyber attacks based on the observed malicious activities. Obfuscation onto what could have been observed of an attack sequence may lead to mis-interpretation of its…

密码学与安全 · 计算机科学 2018-09-06 Haitao Du , Shanchieh Jay Yang

This paper presents an ontology-based approach for the design of a collaborative business process model (CBP). This CBP is considered as a specification of needs in order to build a collaboration information system (CIS) for a network of…

软件工程 · 计算机科学 2015-10-01 Frederick Benaben , Vatcharaphun Rajsiri , Jean-Pierre Lorré , Hervé Pingaud

Securing dynamic networks against adversarial actions is challenging because of the need to anticipate and counter strategic disruptions by adversarial entities within complex network structures. Traditional game-theoretic models, while…

计算复杂性 · 计算机科学 2023-12-21 Dhananjay Raju , Georgios Bakirtzis , Ufuk Topcu

Cyber-physical systems are at the intersection of digital technology and engineering domains, rendering them high-value targets of sophisticated and well-funded cybersecurity threat actors. Prominent cybersecurity attacks on CPS have…

密码学与安全 · 计算机科学 2026-04-23 Shaofei Huang , Christopher M. Poskitt , Lwin Khin Shar

Security risk assessment is essential in establishing the trustworthiness and reliability of modern systems. While various security risk assessment approaches exist, prevalent applications are "pen and paper" implementations that -- even if…

密码学与安全 · 计算机科学 2025-09-23 Avi Shaked

Solving cybersecurity issues requires a holistic understanding of components, factors, structures and their interactions in cyberspace, but conventional modeling approaches view the field of cybersecurity by their boundaries so that we are…

密码学与安全 · 计算机科学 2020-01-17 Dingyu Yan

A good process model is expected not only to reflect the behavior of the process, but also to be as easy to read and understand as possible. Because preferences vary across different applications, numerous measures provide ways to reflect…

形式语言与自动机理论 · 计算机科学 2024-08-23 Patrizia Schalk , Adam Burke , Robert Lorenz

Evaluating the security of cyber-physical systems throughout their life cycle is necessary to assure that they can be deployed and operated in safety-critical applications, such as infrastructure, military, and transportation. Most safety…

密码学与安全 · 计算机科学 2020-10-19 Georgios Bakirtzis , Bryan T. Carter , Carl R. Elks , Cody H. Fleming

Privacy-preservation for sensitive data has become a challenging issue in cloud computing. Threat modeling as a part of requirements engineering in secure software development provides a structured approach for identifying attacks and…

软件工程 · 计算机科学 2016-01-08 Ali Gholami , Erwin Laure

We propose DAB -- a data-aware extension of the BPMN de-facto standard with the ability of operating over case and persistent data (partitioned into a read-only catalog and a read-write repository), and that balances between expressiveness…

计算机科学中的逻辑 · 计算机科学 2019-06-21 Diego Calvanese , Silvio Ghilardi , Alessandro Gianola , Marco Montali , Andrey Rivkin

Traditional Cyber-physical Systems(CPSs) were not built with cybersecurity in mind. They operated on separate Operational Technology (OT) networks. As these systems now become more integrated with Information Technology (IT) networks based…

密码学与安全 · 计算机科学 2021-03-09 Ameerah-Muhsinah Jamil , Lotfi ben Othmane , Altaz Valani

As cyber threats continue to grow in scale and sophistication, blue team defenders increasingly require advanced tools to proactively detect and mitigate risks. Large Language Models (LLMs) offer promising capabilities for enhancing threat…

密码学与安全 · 计算机科学 2025-05-20 Xiaoqun Liu , Feiyang Yu , Xi Li , Guanhua Yan , Ping Yang , Zhaohan Xi