From bfe2cb206457801448c9792d8949a240e20ec57d Mon Sep 17 00:00:00 2001 From: Quentin Rouland Date: Wed, 15 Sep 2021 10:09:18 +0200 Subject: [PATCH] Add JSA paper --- index.html | 7 +++++++ 1 file changed, 7 insertions(+) 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.