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

Complete list of metadatas

https://hal.telecom-paristech.fr/hal-02286706
Contributor : Telecomparis Hal <>
Submitted on : Friday, September 13, 2019 - 4:04:22 PM
Last modification on : Friday, October 18, 2019 - 1:50:02 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

5