Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability - Télécom Paris Access content directly
Conference Papers Year : 2013
No file

Dates and versions

hal-02286706 , version 1 (13-09-2019)

Identifiers

  • HAL Id : hal-02286706 , version 1

Cite

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⟩
18 View
0 Download

Share

Gmail Facebook X LinkedIn More