Barbara Kordy, Sjouke Mauw, Sushil Jajodia. Graphical Models for Security : Second International Workshop. Sjouke Mauw ; Barbara Kordy; Sushil Jajodia.
Graphical Models for Security, Jul 2015, Verona, Italy. LNCS (9390),
Springer, 2016, Graphical Models for Security, 978-3-319-29967-9.
⟨10.1007/978-3-319-29968-6⟩.
⟨hal-01289203⟩