Posts sorted by Publication
1 min read
New Publication: A Game-Theoretic Approach for Security Control Selection
1 min read
New Publication: Interplay of Human Factors and Secure Architecture Design using Model-Driven Engineering
1 min read
New Publication: Requirements for Applying SCIA: A Structured Cyberattack Impact Analysis Approach for ICS
1 min read
New Publication: A Model-Driven Formal Methods Approach to Software Architectural Security Vulnerabilities Specification and Verification
New Publication: Hardening Systems Against Data Corruption Attacks at Design Time
New Publication: A Security Compliance-by-Design Framework Utilizing Reusable Formal Models
New Publication: Formal Model-Based Argument Patterns for Security Cases
New Publication: A Formal Metamodel for Software Architectures with Composite Components
New Publication: Specification and Verification of Communication Paradigms for CBSE in Event B
New Publication: Single and Combined Cyberattack Impact on Industrial Wastewater Systems
New Publication: Eliciting a Security Architecture Requirements Baseline from Standards and Regulations
New Publication: Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy
Page 2 of 5