Conference Papers
Year : 2013
TelecomParis HAL : Connect in order to contact the contributor
https://hal.telecom-paris.fr/hal-02286706
Submitted on : Friday, September 13, 2019-4:04:22 PM
Last modification on : Tuesday, February 28, 2023-3:36:24 PM
Dates and versions
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⟩
Collections
13
View
0
Download