Posts sorted by Publication
New Publication: Analyzing Structural Security Posture to Evaluate System Design Decisions
New Publication: A Security Property Decomposition Argument Pattern for Structured Assurance Case Models
New Publication: Analyzing Implicit Interactions to Identify Weak Points in Cyber-Physical System Designs
New Publication: Modeling and Simulation Approaches for Cybersecurity Impact Analysis: State-of-the-Art
New Publication: Leveraging External Data Sources to Enhance Secure System Design
New Publication: Specification, Detection, and Treatment of STRIDE Threats for Software Components: Modeling, Formal Methods, and Tool Support
New Publication: Evaluating the Soundness of Security Metrics from Vulnerability Scoring Frameworks
New Publication: Identifying and Analyzing Implicit Interactions in a Wastewater Dechlorination System
New Publication: Reusable Formal Models for Threat Specification, Detection, and Treatment
New Publication: Evaluation of Statistical Tests for Detecting Storage-Based Covert Channels
New Publication: Recommendations for Effective Security Assurance of Software-Dependent Systems
New Publication: Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture
Page 4 of 5