Skip to Main content Skip to Navigation
Conference papers

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

Complete list of metadatas

https://hal.telecom-paris.fr/hal-02286706
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:04:22 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:53 PM

Identifiers

  • HAL Id : hal-02286706, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

21