Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis
Systems that integrate cyber and physical aspects to create cyber-physical systems (CPS)
are becoming increasingly complex, but demonstrating the security of CPS is hard and …
are becoming increasingly complex, but demonstrating the security of CPS is hard and …
[HTML][HTML] An adaptable security-by-design approach for ensuring a secure Over the Air (OTA) update in modern vehicles
The rise in Connected and Automated Vehicles (CAVs) and Intelligent Transport Systems
(ITSs) introduced by OEMs has increased the demand for modern vehicle sophistication …
(ITSs) introduced by OEMs has increased the demand for modern vehicle sophistication …
From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling
SF Marksteiner, C Schmittner, K Christl… - Proceedings of the 7th …, 2023 - dl.acm.org
The United Nations Economic Commission for Europe (UNECE) demands the management
of cyber security risks in vehicle design and that the effectiveness of these measures is …
of cyber security risks in vehicle design and that the effectiveness of these measures is …
[PDF][PDF] CRV: Automated Cyber-Resiliency Reasoning for System Design Models.
We present the design and implementation of an automated static analysis approach and
corresponding diagnostic tool, called Cyber Resiliency Verifier (CRV), to check whether a …
corresponding diagnostic tool, called Cyber Resiliency Verifier (CRV), to check whether a …
ACTISM: Threat-informed Dynamic Security Modelling for Automotive Systems
Cybersecurity threats in automotive systems pose significant risks to safety and reliability.
This article introduces a methodology integrating threat-informed dynamic security …
This article introduces a methodology integrating threat-informed dynamic security …
The Need for Threat Modelling in Unmanned Aerial Systems
Detecting cybersecurity vulnerabilities in Unmanned Aerial Systems (UAS) is essential to
ensure the safe operation of drones. This supports the determination of cybersecurity …
ensure the safe operation of drones. This supports the determination of cybersecurity …
[HTML][HTML] Model-Driven Security Test Case Generation Using Threat Modeling and Automata Learning
S Marksteiner - 2024 - diva-portal.org
Automotive systems are not only becoming more open through developments like advanced
driving assistance functions, autonomous driving, vehicle-to-everything communication and …
driving assistance functions, autonomous driving, vehicle-to-everything communication and …
[PDF][PDF] Formal Template-Based Generation of Attack–Defence Trees for Automated Security Analysis. Information 2023, 14, 481
Systems that integrate cyber and physical aspects to create cyber-physical systems (CPS)
are becoming increasingly complex, but demonstrating the security of CPS is hard and …
are becoming increasingly complex, but demonstrating the security of CPS is hard and …
9 AIT Austrian Institute of Technology GmbH-Center for Digital Safety & Security, Giefinggasse 4, 1210 Vienna, Austria {abdelkader. shaaban, oliver. jung, christoph …
AM Shaaban - … Safety, Reliability, and Security. SAFECOMP 2023 …, 2023 - books.google.com
Detecting cybersecurity vulnerabilities in Unmanned Aerial Systems (UAS) is essential to
ensure the safe operation of drones. This supports the determination of cybersecurity …
ensure the safe operation of drones. This supports the determination of cybersecurity …
[PDF][PDF] Framework for developing a cybersecurity concept according to ISO/SAE 21434 using model-based systems engineering
S Japs - d-nb.info
Abstract The World Forum for Harmonization of Vehicle Regulations (UNECE WP. 29) has
issued UN Regulation No. 155. It defines uniform conditions for the approval of vehicles with …
issued UN Regulation No. 155. It defines uniform conditions for the approval of vehicles with …