English
Related papers

Related papers: Data-Flow-Based Extension of the System-Theoretic …

200 papers

With the growing use of information technology in all life domains, hacking has become more negatively effective than ever before. Also with developing technologies, attacks numbers are growing exponentially every few months and become more…

Cryptography and Security · Computer Science 2022-09-29 Khloud Al Jallad , Mohamad Aljnidi , Mohammad Said Desouki

Data leakage and theft from databases is a dangerous threat to organizations. Data Security and Data Privacy protection systems (DSDP) monitor data access and usage to identify leakage or suspicious activities that should be investigated.…

Cryptography and Security · Computer Science 2017-08-16 Hagit Grushka-Cohen , Oded Sofer , Ofer Biller , Michael Dymshits , Lior Rokach , Bracha Shapira

Many agencies have adopted the FHWA-recommended systemic approach to traffic safety, an essential supplement to the traditional hotspot crash analysis which develops region-wide safety projects based on identified risk factors. However,…

Machine Learning · Computer Science 2024-11-05 Shriyan Reyya , Yao Cheng

Although Fault Tree and Event Tree analysis are still today the standard approach to system safety analysis for many engineering sectors, these techniques lack the capabilities of fully capturing the realistic, dynamic behaviour of complex…

Computational Engineering, Finance, and Science · Computer Science 2025-10-21 Silvia Tolo , John Andrews

In this paper, we develop a scalable system which can do real-time analytics for different health applications. The occurrence of different health conditions can be regarded as the complex events and thus this concept can be extended to…

Computers and Society · Computer Science 2017-07-17 Sandeep Singh Sandha , Mohammad Kachuee , Sajad Darabi

This paper describes the xSAP safety analysis platform. xSAP provides several model-based safety analysis features for finite- and infinite-state synchronous transition systems. In particular, it supports library-based definition of fault…

We increasingly rely on digital services and the conveniences they provide. Processing of personal data is integral to such services and thus privacy and data protection are a growing concern, and governments have responded with regulations…

Cryptography and Security · Computer Science 2022-11-30 Feiyang Tang , Bjarte M. Østvold

Bluetooth is a pervasive wireless communication technology used by billions of devices for short-range connectivity. The security of Bluetooth relies on the pairing process, where devices establish shared long-term keys for secure…

Cryptography and Security · Computer Science 2025-07-04 Keiichiro Kimura , Hiroki Kuzuno , Yoshiaki Shiraishi , Masakatu Morii

This letter addresses essential aspects of threat assessment by proposing intent-driven threat models that incorporate both capabilities and intents. We propose a holistic framework for cyber physical awareness (CPA) in space networks,…

Machine Learning · Computer Science 2025-08-25 Selen Gecgel Cetin , Tolga Ovatman , Gunes Karabulut Kurt

The prevalent use of third-party libraries (TPLs) in modern software development introduces significant security and compliance risks, necessitating the implementation of Software Composition Analysis (SCA) to manage these threats. However,…

Software Engineering · Computer Science 2025-03-31 Lyuye Zhang , Chengwei Liu , Jiahui Wu , Shiyang Zhang , Chengyue Liu , Zhengzi Xu , Sen Chen , Yang Liu

Critical infrastructure systems must be both robust and resilient in order to ensure the functioning of society. To improve the performance of such systems, we often use risk and vulnerability analysis to find and address system weaknesses.…

Physics and Society · Physics 2015-05-08 Sarah LaRocca , Jonas Johansson , Henrik Hassel , Seth Guikema

Changes in technology have resulted in new ways for bankers to deliver their services to costumers. Electronic banking systems in various forms are the evidence of such advancement. However, information security threats also evolving along…

Computers and Society · Computer Science 2010-07-05 Irfan Syamsuddin , Junseok Hwang

The emerging wide area monitoring systems (WAMS) have brought significant improvements in electric grids' situational awareness. However, the newly introduced system can potentially increase the risk of cyber-attacks, which may be disguised…

Cryptography and Security · Computer Science 2021-08-26 Gabriel Intriago , Yu Zhang

This paper proposes a novel methodology for probabilistic dynamic security assessment and enhancement of power systems that considers load and generation variability, N-2 contingencies, and uncertain cascade propagation caused by uncertain…

Systems and Control · Electrical Eng. & Systems 2025-05-05 Frédéric Sabot , Pierre-Etienne Labeau , Pierre Henneaux

System security assurance provides the confidence that security features, practices, procedures, and architecture of software systems mediate and enforce the security policy and are resilient against security failure and attacks. Alongside…

Cryptography and Security · Computer Science 2022-08-04 Ankur Shukla , Basel Katt , Livinus Obiora Nweke , Prosper Kandabongee Yeng , Goitom Kahsay Weldehawaryat

We present initial results on a comprehensive model of structured communications, in which self- adaptation and security concerns are jointly addressed. More specifically, we propose a model of self-adaptive, multiparty communications with…

Logic in Computer Science · Computer Science 2014-08-27 Ilaria Castellani , Mariangiola Dezani-Ciancaglini , Jorge A. Pérez

We consider the problem of controller design for linear time-invariant cyber-physical systems (CPSs) controlled via networks. Specifically, we adopt the set-up that a controller has already been designed to stabilize the plant. However, the…

Systems and Control · Electrical Eng. & Systems 2022-12-02 Yankai Lin , Michelle S. Chong , Carlos Murguia

The IT Service Management (ITSM) industry has defined processes as best practices in the widely-accepted IT Infrastructure Library (ITIL) framework. However, studies on the measurement of ITSM process improvement are scant. Our research…

Computers and Society · Computer Science 2016-06-09 Anup Shrestha , Aileen Cater-Steel , Mark Toleman

Enterprises are constantly under attack from sophisticated adversaries. These adversaries use a variety of techniques to first gain access to the enterprise, then spread laterally inside its networks, establish persistence, and finally…

Cryptography and Security · Computer Science 2024-06-14 Sumanth Rao

Security and distributed infrastructure are two of the most common requirements for big data software. But the security features of the big data platforms are still premature. It is critical to identify, modify, test and execute some of the…

Cryptography and Security · Computer Science 2016-11-24 Santosh Aditham , Nagarajan Ranganathan