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

Domains

Computer Science [cs] Distributed, Parallel, and Cluster Computing [cs.DC] Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Embedded Systems

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

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INSTITUT-TELECOM PARISTECH LTCI INFRES ACES
13 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More