Posts sorted by Publication
New Publication: Software Design Trends Supporting Multiconcern Assurance
New Publication: An Evaluation of IoT Security Guidance Documents: A Shared Responsibility Perspective
New Publication: Analyzing the Impact of Cyberattacks on Industrial Control Systems using Timed Automata
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
1 min read
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
Page 4 of 5