Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Dérive. Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability.
ISARCS'13, Aug 2013, Montréal, Canada.
⟨hal-02286706⟩