diff --git a/index.html b/index.html index c9e6610..587cc0f 100644 --- a/index.html +++ b/index.html @@ -125,6 +125,9 @@ + + + @@ -242,6 +245,10 @@

+

+ Quentin Rouland, Brahim Hamid, Jason Jaskolka. Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support. + Journal of Systems Architecture (JSA), 2021. +

Quentin Rouland, Brahim Hamid, Jason Jaskolka. Formal Specification and Verification of Reusable Communication Models for Distributed Systems Architecture. Future Generation Computer Systems (FGCS), 2020.