Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability

(1, 2) , (1, 2) , (1, 2) , ,
1
2
Not 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⟩
11 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More