English
Related papers

Related papers: Quantitative System-Level Security Verification of…

200 papers

Testing and evaluation are expensive but critical steps in the development of connected and automated vehicles (CAVs). In this paper, we develop an adaptive sampling framework to efficiently evaluate the accident rate of CAVs, particularly…

Robotics · Computer Science 2023-06-02 Xianliang Gong , Shuo Feng , Yulin Pan

Cyber-physical systems (CPS) and Internet-of-Things (IoT) devices are increasingly being deployed across multiple functionalities, ranging from healthcare devices and wearables to critical infrastructures, e.g., nuclear power plants,…

Cryptography and Security · Computer Science 2022-10-21 Tanujay Saha , Najwa Aaraj , Neel Ajjarapu , Niraj K. Jha

The rapid expansion of the Industrial Internet of Things (IIoT) has significantly advanced digital technologies and interconnected industrial systems, creating substantial opportunities for growth. However, this growth has also heightened…

Machine Learning · Computer Science 2025-01-28 Tasnimul Hasan , Abrar Hossain , Mufakir Qamar Ansari , Talha Hussain Syed

This paper presents a security paradigm for edge devices to defend against various internal and external threats. The first section of the manuscript proposes employing machine learning models to identify MQTT-based (Message Queue Telemetry…

Cryptography and Security · Computer Science 2025-02-11 Sahar L. Qaddoori , Qutaiba I. Ali

The rapid growth of electric vehicles (EVs) has promised a next-generation transportation system with reduced carbon emission. The fast development of EVs and charging facilities is driving the evolution of Internet of Vehicles (IoV) to…

Systems and Control · Electrical Eng. & Systems 2022-03-01 Xiaoying Tang , Chenxi Sun , Suzhi Bi , Shuoyao Wang , Angela Yingjun Zhang

This is the era of smart devices or things which are fueling the growth of Internet of Things (IoT). It is impacting every sphere around us, making our life dependent on this technological feat. It is of high concern that these smart things…

Cryptography and Security · Computer Science 2018-05-29 Rishi Sairam , Suman Sankar Bhunia , Vijayanand Thangavelu , Mohan Gurusamy

We develop a new Location Verification System (LVS) focussed on network-based Intelligent Transport Systems and vehicular ad hoc networks. The algorithm we develop is based on an information-theoretic framework which uses the received…

Information Theory · Computer Science 2014-10-10 Shihao Yan , Robert Malaney , Ido Nevat , Gareth W. Peters

The widespread integration of IoT devices has greatly improved connectivity and computational capabilities, facilitating seamless communication across networks. Despite their global deployment, IoT devices are frequently targeted for…

Cryptography and Security · Computer Science 2024-04-16 Sreenitha Kasarapu , Sanket Shukla , Sai Manoj Pudukotai Dinakarrao

As Internet of Things (IoT) and Cyber-Physical systems become more ubiquitous and an integral part of our daily lives, it is important that we are able to trust the data aggregate from such systems. However, the interpretation of…

Networking and Internet Architecture · Computer Science 2020-06-01 Mehrdad Salimitari , Shameek Bhattacharjee , Mainak Chatterjee , Yaser P. Fallah

Categorization of quality characteristics helps in a more effective structuring of the testing process and in the determination of properties, which can be verified in the system under test. In the emerging area of Internet of Things (IoT)…

Networking and Internet Architecture · Computer Science 2018-12-27 Miroslav Bures , Xavier Bellekens , Karel Frajtak , Bestoun S. Ahmed

Large steps are being taken by the industry and R&D organizations in automated driving technology development, as well as in setting up appropriate scenario-based safety assessment methods. In this paper a concept framework is proposed for…

Systems and Control · Electrical Eng. & Systems 2020-07-17 Olaf Op den Camp , Jacco van de Sluis

This study presents a methodology to quantify vulnerability of cyber attacks and their impacts based on probabilistic graphical models for intelligent transportation systems under connected and autonomous vehicles framework. Cyber attack…

Cryptography and Security · Computer Science 2020-11-19 Gurcan Comert , Mashrur Chowdhury , David M. Nicol

Connected vehicle (CV) systems are cognizant of potential cyber attacks because of increasing connectivity between its different components such as vehicles, roadside infrastructure and traffic management centers. However, it is a challenge…

Cryptography and Security · Computer Science 2018-12-03 Gurcan Comert , Mizanur Rahman , Mhafuzul Islam , Mashrur Chowdhury

In the era of rapid IoT device proliferation, recognizing, diagnosing, and securing these devices are crucial tasks. The IoTDevID method (IEEE Internet of Things 2022) proposes a machine learning approach for device identification using…

Networking and Internet Architecture · Computer Science 2023-07-18 Kahraman Kostas , Mike Just , Michael A. Lones

With the advent of Intelligent Transportation Systems (ITS), data from diverse sensors either embedded into the vehicles or present along with the smart city infrastructure, are of utmost importance and require both processing power and…

Networking and Internet Architecture · Computer Science 2020-12-02 Anderson Queiroz , Eduardo Oliveira , Maria Barbosa , Kelvin Dias

Quantitative security analysis of networked computer systems is one of the decades-long open problems in computer security. Recently, a promising approach was proposed in \cite{XuTDSC11}, which however made some strong assumptions including…

Cryptography and Security · Computer Science 2016-03-29 Maochao Xu , Shouhuai Xu

The rapid expansion of Internet of Things (IoT) devices has increased the risk of cyber-attacks, making effective detection essential for securing IoT networks. This work introduces a novel approach combining Self-Organizing Maps (SOMs),…

Cryptography and Security · Computer Science 2025-03-05 Ahmed Bensaoud , Jugal Kalita

To enable quantitative risk assessment of uncontrollable risk states in complex and coupled IoT systems, a new epistemological equation is designed and tested though comparative and empirical analysis. The comparative analysis is conducted…

Computers and Society · Computer Science 2022-12-19 Petar Radanliev , David De Roure , Pete Burnap , Omar Santos

Cooperative sensing and heterogeneous information fusion are critical to realize vehicular cyber-physical systems (VCPSs). This paper makes the first attempt to quantitatively measure the quality of VCPS by designing a new metric called Age…

Networking and Internet Architecture · Computer Science 2023-01-30 Xincao Xu , Kai Liu , Penglin Dai , Ruitao Xie , Jingjing Cao , Jiangtao Luo

The Internet of Things (IoT) has rapidly expanded across various sectors, with consumer IoT devices - such as smart thermostats and security cameras - experiencing growth. Although these devices improve efficiency and promise additional…

Cryptography and Security · Computer Science 2025-04-11 Pascal Schöttle , Matthias Janetschek , Florian Merkle , Martin Nocker , Christoph Egger
‹ Prev 1 8 9 10 Next ›