Security and Safety Interplay of Intelligent Software Systems

B. Hamid,B. Gallina,A. Shabtai,Y. Elovici,J. García-Alfaro

Published 2018 in Lecture Notes in Computer Science

ABSTRACT

No abstract is available for this paper.

PUBLICATION RECORD

Publication year
2018
Venue
Lecture Notes in Computer Science
Publication date
Unknown publication date
Fields of study
Computer Science, Engineering
Identifiers
DOI 10.1007/978-3-030-16874-2
External record
Open on Semantic Scholar
Source metadata
Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

No claims are published for this paper.

CONCEPTS

No concepts are published for this paper.

REFERENCES

Location Proximity Attacks Against Mobile Targets: Analytical Bounds and Attacker Strategies
2018cited by this paper
Systems Security Engineering: Considerations for a Multidisciplinary Approach in the Engineering of Trustworthy Secure Systems [including updates as of 1-03-2018]
2018cited by this paper
Environments for analyzing the security of smart objects
2018cited by this paper
ATG: An Attack Traffic Generation Tool for Security Testing of In-vehicle CAN Bus
2018cited by this paper
VoltageIDS: Low-Level Communication Characteristics for Automotive Intrusion Detection System
2018cited by this paper
Contract-based assurance for wireless cooperative functions of vehicular systems
2017cited by this paper
A Stealth, Selective, Link-Layer Denial-of-Service Attack Against Automotive Networks
2017influential reference
On the Security of In-Vehicle Hybrid Network: Status and Challenges
2017cited by this paper
Model-based security engineering for cyber-physical systems: A systematic mapping study
2017cited by this paper
Comparing the Usability of Cryptographic APIs
2017cited by this paper
Perceived Information Security in the Maritime Sector
2017cited by this paper
POSTER: Intrusion Detection System for In-vehicle Networks using Sensor Correlation and Integration
2017cited by this paper
Efficient lossless compression of CAN traffic logs
2017cited by this paper
In-Vehicle CAN Message Authentication: An Evaluation Based on Industrial Criteria
2017cited by this paper
Enabling broadcast communications in presence of jamming via probabilistic pairing
2017cited by this paper
Anomaly detection of CAN bus messages through analysis of ID sequences
2017cited by this paper
Securing Vehicular Controller Area Networks: An Approach to Active Bus-Level Countermeasures
2017cited by this paper
Safety in Vehicle Platooning: A Systematic Literature Review
2017cited by this paper
Detecting known and unknown faults in automotive systems using ensemble-based anomaly detection
2017cited by this paper
Physical Layer Group Key Agreement for Automotive Controller Area Networks
2016cited by this paper
Systems design of cybersecurity in embedded systems
2016cited by this paper
Autonomous Vehicle Security: A Taxonomy of Attacks and Defences
2016cited by this paper
Improving API usability
2016cited by this paper
A Practical Security Architecture for In-Vehicle CAN-FD
2016cited by this paper
Anomaly Detection in Automobile Control Network Data with Long Short-Term Memory Networks
2016cited by this paper
In-Vehicle Networks Outlook: Achievements and Challenges
2016cited by this paper
The Car Hacker's Handbook: A Guide for the Penetration Tester
2016cited by this paper
On Perception and Reality in Wireless Air Traffic Communication Security
2016cited by this paper
CaCAN: Centralized Authentication System in CAN (Controller Area Network)
2016cited by this paper
A Novel Intrusion Detection Method Using Deep Neural Network for In-Vehicle Network Security
2016cited by this paper
Software-Defined Mobile Networks Security
2016influential reference
SysML models and model transformation for security
2016cited by this paper
Intrusion detection system based on the analysis of time intervals of CAN messages for in-vehicle network
2016cited by this paper
Analysis of the Cyber Attacks against ADS-B Perspective of Aviation Experts
2016cited by this paper
A Risk Assessment Framework for Automotive Embedded Systems
2016cited by this paper
Vulnerability of Remote Keyless-Entry Systems Against Pulsed Electromagnetic Interference and Possible Improvements
2016cited by this paper
Fingerprinting Electronic Control Units for Vehicle Intrusion Detection
2016cited by this paper
OBD_SecureAlert: An Anomaly Detection System for Vehicles
2016cited by this paper
Evaluation of anomaly detection for in-vehicle networks through information-theoretic algorithms
2016cited by this paper
A simple intrusion detection method for controller area network
2016cited by this paper
University of Birmingham LeiA: A Lightweight Authentication Protocol for CAN
2016cited by this paper
EAST-ADL: An Architecture Description Language for Automotive Software-intensive Systems in the Light of Recent use and Research
2016influential reference
Intrusion Detection System Using Deep Neural Network for In-Vehicle Network Security
2016cited by this paper
Vehicular Platooning in an Adversarial Environment
2015cited by this paper
Frequency-based anomaly detection for the automotive CAN bus
2015cited by this paper
Towards MIL-STD-1553B covert channel analysis
2015cited by this paper
Safety Benefit of Automatic Dependent Surveillance-Broadcast Traffic and Weather Uplink Services
2015cited by this paper
Security-Aware Modeling and Efficient Mapping for CAN-Based Real-Time Distributed Automotive Systems
2015cited by this paper
Security in vehicle networks of connected cars
2015influential reference
A Cyber-Physical Systems architecture for Industry 4.0-based manufacturing systems
2015influential reference
A Practical Wireless Attack on the Connected Car and Security Protocol for In-Vehicle CAN
2015cited by this paper
Freedom of speech: thwarting jammers via a probabilistic approach
2015cited by this paper
Security patterns modeling and formalization for pattern-based development of secure software systems
2015cited by this paper
Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec
2015cited by this paper
A Large-Scale Study of the Time Required to Compromise a Computer System
2014cited by this paper
Why does cryptographic software fail?: a case study and open problems
2014cited by this paper
VeCure: A practical security framework to protect the CAN bus of vehicles
2014cited by this paper
Robustness of remote keyless entry systems to intentional electromagnetic interference
2014cited by this paper
A Combined Safety-Hazards and Security-Threat Analysis Method for Automotive Systems
2014influential reference
An Extended UML Method for the Verification of Security Protocols
2014cited by this paper
Cyber threat impact assessment and analysis for space vehicle architectures
2014cited by this paper
A secure but still safe and low cost automotive communication technique
2014cited by this paper
Silence is Golden: exploiting jamming and radio silence to communicate
2013cited by this paper
Efficient Protocols for Secure Broadcast in Controller Area Networks
2013cited by this paper
A Manual for the Cyber Security Modeling Language (simplified version)
2013influential reference
Stuxnet and the Limits of Cyber Warfare
2013cited by this paper
Fingerprinting Smartphones Remotely via ICMP Timestamps
2013cited by this paper
SoK: Eternal War in Memory
2013cited by this paper
Jamming mitigation in cognitive radio networks
2013cited by this paper
Rethinking SSL development in an appified world
2013cited by this paper
AEGIS: A Fast Authenticated Encryption Algorithm
2013cited by this paper
Survey on security threats and protection mechanisms in embedded automotive networks
2013cited by this paper
LiBrA-CAN: A Lightweight Broadcast Authentication Protocol for Controller Area Networks
2012cited by this paper
Memory Errors: The Past, the Present, and the Future
2012cited by this paper
A survey SCADA of and critical infrastructure incidents
2012cited by this paper
ProVerif 1.87beta6: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial
2012cited by this paper
Ghost in the Air(Traffic): On insecurity of ADS-B protocol and practical attacks on ADS-B devices
2012cited by this paper
PREparing SEcuRe VEhicle-to-X Communication Systems
2011influential reference
AVATAR: A SysML Environment for the Formal Verification of Safety and Security Properties
2011cited by this paper
A Formal Methodology Applied to Secure Over-the-Air Automotive Applications
2011cited by this paper
Security requirements engineering via commitments
2011influential reference
Experimental Security Analysis of a Modern Automobile
2011cited by this paper
Comprehensive Experimental Analyses of Automotive Attack Surfaces
2011cited by this paper
Relay Attacks on Passive Keyless Entry and Start Systems in Modern Cars
2010cited by this paper
False Data Injection Attacks in Control Systems
2010cited by this paper
The SEMA referential framework: Avoiding ambiguities in the terms "security" and "safety"
2010cited by this paper
Periodic Real-Time Message Scheduling for Confidentiality-Aware Cyber-Physical System in Wireless Networks
2010cited by this paper
A threat risk modeling framework for Geospatial Weather Information System (GWIS) a DREAD based study
2010influential reference
False data injection attacks against state estimation in electric power grids
2009cited by this paper
Security requirements for automotive on-board networks
2009influential reference
Attack Trees
2009cited by this paper
Security threats to automotive CAN networks - Practical examples and selected short-term countermeasures
2008cited by this paper
Towards Formal Specification of Abstract Security Properties
2008cited by this paper
A Rigorous Methodology for Security Architecture Modeling and Verification
2008cited by this paper
Excerpts from : The Discovery of Grounded Theory : Strategies for Qualitative Research
2008influential reference
Developing Secure Embedded Systems: Pitfalls and How to Avoid Them
2007cited by this paper
Secure Tropos: a Security-Oriented Extension of the Tropos Methodology
2007influential reference
Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods
2007cited by this paper
A Complete Guide to the Common Vulnerability Scoring System Version 2.0 | NIST
2007influential reference
Towards an integrated conceptual model of security and dependability
2006cited by this paper

CITED BY

Revisiting Wireless Cyberattacks on Vehicles
2025cites this paper
A Framework for Cybersecurity Requirements Management in the Automotive Domain
2023cites this paper
Adversarial Attacks for Intrusion Detection Based on Bus Traffic
2022cites this paper
AdaptIDS: Adaptive Intrusion Detection for Mission-Critical Aerospace Vehicles
2022cites this paper
A taxonomy of attack mechanisms in the automotive domain
2021cites this paper
Checking SysML Models Against Safety and Security Properties
2021cites this paper