![A thumbnail image to accompany the post](https://carleton.ca/cybersea/wp-content/uploads/Link-Publications-800x600-300x230.png)
Thursday, February 8, 2024
New Publication: Formal Model-Based Argument Patterns for Security Cases
Our recent paper "Formal Model-Based Argument Patterns for Security Cases" is now available online! This paper proposes an approach to constructing security assurance cases using... More