Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System

von Jaskolka, Jason
Veröffentlicht in CyberICPS (6. : 2020 : Online) Computer security (2020)

MODELING AND SIMULATION APPROACHES FOR CYBERSECURITY IMPACT ANALYSIS: STATE-OF-THE-ART

von Jawad, Alvi
Veröffentlicht in Annual Modeling and Simulation Conference (2021 : Online) Annual Modeling and Simulation Conference (ANNSIM 2021) (2021)

Defense Models for Data Recovery in Industrial Control Systems

von Jawad, Alvi
Veröffentlicht in International Symposium on Foundations and Practice of Security (15. : 2022 : Ottawa) Foundations and practice of security (2023)

Understanding the Role of Human-Related Factors in Security Requirements Elicitation

von Alwidian, Sanaa
Veröffentlicht in International Working Conference on Requirements Engineering: Foundation for Software Quality (29. : 2023 : Barcelona) Requirements engineering: foundation software quality (2023)

Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels

von Sattolo, Thomas A. V.
Veröffentlicht in SEC (35. : 2020 : Maribor) ICT systems security and privacy protection (2020)

A Formal Metamodel for Software Architectures with Composite Components

von Baak, James
Veröffentlicht in International Conference on Model and Data Engineering (12. : 2023 : Sousse) Model and data engineering (2024)

Reusable Formal Models for Threat Specification, Detection, and Treatment

von Rouland, Quentin
Veröffentlicht in ICSR (19. : 2020 : Online) Reuse in emerging software engineering practices (2020)

Verification of information flow in agent-based systems

von Sabri, Khair Eddin
Veröffentlicht in E-technologies: innovation in an open world (2009)

Hardening Systems Against Data Corruption Attacks at Design Time

von Breton, John
Veröffentlicht in International Symposium on Foundations and Practice of Security (16. : 2022 : Bordeaux) Foundations and practice of security ; Part 1 (2024)