English
Related papers

Related papers: Space Cybersecurity Testbed: Fidelity Framework, E…

200 papers

Smart grid uses the power of information technology to intelligently deliver energy to customers by using a two-way communication, and wisely meet the environmental requirements by facilitating the integration of green technologies.…

Cryptography and Security · Computer Science 2018-09-10 Zakaria El Mrabet , Hassan El Ghazi , Naima Kaabouch , Hamid El Ghazi

This paper tackles the problems of generating concrete test cases for testing whether an application is vulnerable to attacks, and of checking whether security solutions are correctly implemented. The approach proposed in the paper aims at…

Software Engineering · Computer Science 2020-07-08 Sébastien Salva , Loukmen Regainia

Satellite systems are facing an ever-increasing amount of cybersecurity threats as their role in communications, navigation, and other services expands. Recent papers have examined attacks targeting satellites and space systems; however,…

Cryptography and Security · Computer Science 2023-12-05 Roy Peled , Eran Aizikovich , Edan Habler , Yuval Elovici , Asaf Shabtai

Detecting cyber-anomalies and attacks are becoming a rising concern these days in the domain of cybersecurity. The knowledge of artificial intelligence, particularly, the machine learning techniques can be used to tackle these issues.…

Cryptography and Security · Computer Science 2021-04-19 Iqbal H. Sarker

This paper describes a possible way to improve computer security by implementing a program which implements the following three features related to a weak notion of artificial consciousness: (partial) self-monitoring, ability to compute the…

Artificial Intelligence · Computer Science 2019-05-29 Andrew Powell

In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to…

Formal Languages and Automata Theory · Computer Science 2021-09-06 Tomas Kulik , Brijesh Dongol , Peter Gorm Larsen , Hugo Daniel Macedo , Steve Schneider , Peter Würtz Vinther Tran-Jørgensen , Jim Woodcock

Cybersecurity is now at the forefront of most organisational digital transformative agendas and National economic, social and political programmes. Hence its impact to society can no longer be seen to be one dimensional. The rise in…

Cryptography and Security · Computer Science 2022-02-08 Cyril Onwubiko , Karim Ouazzane

Cyber ranges mimic real-world cyber environments and are in high demand. Before building their own cyber ranges, organizations need to deeply understand what construction supplies are available to them. A fundamental supply is the cyber…

Cryptography and Security · Computer Science 2023-08-31 Ekzhin Ear , Jose L. C. Remy , Shouhuai Xu

Kubernetes has emerged as an essential platform for deploying containerised applications across cloud and edge infrastructures. As Kubernetes gains increasing adoption for mission-critical microservices, evaluating system resilience under…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-07-23 Zihao Chen , Mohammad Goudarzi , Adel Nadjaran Toosi

This paper presents a real-time cyber-physical (CPS) testbed for power systems with different real attack scenarios on the synchrophasors-phasor measurement units (PMU). The testbed focuses on real-time cyber-security emulation with…

Cryptography and Security · Computer Science 2022-07-27 Shuvangkar Chandra Das , Tuyen Vu

Security holds an important role in a software. Most people are not aware of the significance of security in software system and tend to assume that they will be fine without security in their software systems. However, the lack of security…

Software Engineering · Computer Science 2020-12-25 Ariessa Davaindran Lingham , Nelson Tang Kwong Kin , Chen Wan Jing , Chong Heng Loong , Fatima-tuz-Zahra

Thanks to technologies such as virtual network function the Fifth Generation (5G) of mobile networks dynamically allocate resources to different types of users in an on-demand fashion. Virtualization extends up to the 5G core, where…

Cryptography and Security · Computer Science 2024-03-05 Filippo Giambartolomei , Marc Barceló , Alessandro Brighente , Aitor Urbieta , Mauro Conti

A safety verification task involves verifying a system against a desired safety property under certain assumptions about the environment. However, these environmental assumptions may occasionally be violated due to modeling errors or…

Systems and Control · Electrical Eng. & Systems 2023-06-05 Rômulo Meira-Góes , Ian Dardik , Eunsuk Kang , Stéphane Lafortune , Stavros Tripakis

Cyber-Physical Systems (CPS) use computational resources to control physical process and provide critical services. For this reason, an attack in these systems may have dangerous consequences in the physical world. Hence, resilience is a…

Cryptography and Security · Computer Science 2020-09-16 Mariana Segovia , Jose Rubio-Hernan , Ana Rosa Cavalli , Joaquin Garcia-Alfaro

Cyber-secure networked control is modeled, analyzed, and experimentally illustrated in this paper. An attack space defined by the adversary's system knowledge, disclosure, and disruption resources is introduced. Adversaries constrained by…

Optimization and Control · Mathematics 2012-12-04 André Teixeira , Iman Shames , Henrik Sandberg , Karl H. Johansson

ICS environments are vital to the operation of critical infrastructure such as power grids, water treatment facilities, and manufacturing plants. However, these systems are vulnerable to cyber attacks due to their reliance on interconnected…

Cryptography and Security · Computer Science 2024-12-02 Can Ozkan , Dave Singelee

Data-driven understanding of cybersecurity posture is an important problem that has not been adequately explored. In this paper, we analyze some real data collected by CAIDA's network telescope during the month of March 2013. We propose to…

Cryptography and Security · Computer Science 2016-03-25 Zhenxin Zhan , Maochao Xu , Shouhuai Xu

We are not very good at measuring -- rigorously and quantitatively -- the cyber security of systems. Our ability to measure cyber resilience is even worse. And without measuring cyber resilience, we can neither improve it nor trust its…

Cryptography and Security · Computer Science 2021-02-19 Alexander Kott , Igor Linkov

Penetration testing increases the security of systems through tasking testers to 'think like the adversary' and attempt to find the ways that an attacker would break into the system. For many systems, this can be conducted in a safe and…

Cryptography and Security · Computer Science 2023-06-08 Jeremy Straub

Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to describe them along the design process. The approach is…

Software Engineering · Computer Science 2021-11-22 I Dragomir , M Bozga , Iulian Ober , D Silveira , T Jorge , E Alaña , M Perrotin
‹ Prev 1 8 9 10 Next ›