Fundamental Challenges of Cyber-Physical Systems Security Modeling (original) (raw)

A model-based approach to security analysis for cyber-physical systems

carl elks

2018 Annual IEEE International Systems Conference (SysCon), 2018

View PDFchevron_right

Threat Modeling of Cyber-Physical Systems in Practice

Lotfi Ben Othmane

2021

View PDFchevron_right

Hazard Driven Threat Modelling for Cyber Physical Systems

Luca Castiglione

Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, 2020

View PDFchevron_right

Model-Based Risk Assessment for Cyber Physical Systems Security

Ashraf Tantawy

Computers & Security, 2020

View PDFchevron_right

A Preliminary Design-Phase Security Methodology for Cyber–Physical Systems

Cody Fleming

Systems

View PDFchevron_right

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

carl elks

2020

View PDFchevron_right

Towards a systematic threat modeling approach for cyber-physical systems

Gonçalo Martins

2015 Resilience Week (RWS), 2015

View PDFchevron_right

Modeling Security in Cyber-Physical Systems

V. Chrissikopoulos

2012

View PDFchevron_right

SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems

Janos Sztipanovits

Proceedings of the IEEE

View PDFchevron_right

Aligning Cyber-Physical System Safety and Security

Giedre Sabaliauskaite

Springer eBooks, 2015

View PDFchevron_right

Threat modeling for security assessment in cyberphysical systems

Janusz Zalewski

View PDFchevron_right

Three tenets for secure cyber-physical system design and assessment

George Cybenko

Cyber Sensing 2014, 2014

View PDFchevron_right

A Modest Security Analysis of Cyber-Physical Systems: A Case Study

Andrei Munteanu

Formal Techniques for Distributed Objects, Components, and Systems, 2018

View PDFchevron_right

Addressing safety and security contradictions in cyber-physical systems

Sibin Mohan

2009

View PDFchevron_right

A Method for Revealing and Addressing Security Vulnerabilities in Cyber-physical Systems by Modeling Malicious Agent Interactions with Formal Verification

Dean Wardell

Procedia Computer Science, 2016

View PDFchevron_right

A security risk mitigation framework for cyber physical systems

Maryam Zahid 1343

Journal of Software: Evolution and Process, 2019

View PDFchevron_right

Towards Systematically Deriving Defence Mechanisms from Functional Requirements of Cyber-Physical Systems

Arlindo Silva

Proceedings of the 6th ACM on Cyber-Physical System Security Workshop

View PDFchevron_right

Systems engineering framework for cyber physical security and resilience

Igor Linkov

Environment Systems and Decisions, 2015

View PDFchevron_right

Chapter 1 MODELING SECURITY IN CYBER-PHYSICAL SYSTEMS ∗

Manos Magkos

2013

View PDFchevron_right

Cybersecurity and Safety Co-Engineering of Cyberphysical Systems—A Comprehensive Survey

Sokratis Katsikas

Future Internet

View PDFchevron_right

XANDAR: A holistic Cybersecurity Engineering Process for Safety-critical and Cyber-physical Systems

Dimitris Karadimas

2022 IEEE 95th Vehicular Technology Conference: (VTC2022-Spring)

View PDFchevron_right

Security analysis of socio-technical physical systems

Samir Ouchani

Computers & Electrical Engineering, 2015

View PDFchevron_right

An Effective Security Requirements Engineering Framework for Cyber-Physical Systems

SHAFIQ REHMAN

Technologies, 2018

View PDFchevron_right

STRIDE-based threat modeling for cyber-physical systems

Sakir Sezer

2017 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe), 2017

View PDFchevron_right

A language for describing attacks on cyber-physical systems

Mark Yampolskiy

International Journal of Critical Infrastructure Protection, 2015

View PDFchevron_right

Model-based Threat and Risk Assessment for Systems Design

Yoram Reich

2021

View PDFchevron_right

On the role of latent design conditions in cyber-physical systems security

Alberto Zanutto

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16, 2016

View PDFchevron_right

Threat Modeling of Cyber-Physical Systems - A Case Study of a Microgrid System

Henry Dola

Computers & Security

View PDFchevron_right