 |
- Home
- Submit
-
Browse
- By laboratory
- By department
-
By researchteam
- ACES - Autonomic and Critical Embedded Systems
- CCN - Cybersecurity for Communication and Networking
- COMNUM - Communications numériques
- LinkC2S - Circuits et Systèmes de communication
- DIG - Data, Intelligence and Graphs
- DIVA - Design, Interaction, Visualization and Applications
- ECOGE - Economie Gestion
- GTO - Télécommunications Optiques
- IMAGES - Image, Modélisation, Analyse, GEométrie, Synthèse
- IQA - Information Quantique et Applications
- LabSoC - System on Chip
- MC2 - Mathématiques discrètes, Codage et Cryptographie
- MM- Multimédia
- RFM2 - Radio-Fréquences Microondes et Ondes Millimétriques
- RMS - Réseaux, Mobilité et Services
- S2A - Signal, Statistique et Apprentissage
- SID - Sociologie, Information-Communication Design
- SPE - Sociologie, Psychologie ergonomique
- SSH - Secure and Safe Hardware
- By doctype
- Browse by author
- Search
Conference papers
Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability
Cuauhtemoc Castellanos
1, 2
Etienne Borde
1, 2
Laurent Pautet
1, 2
Thomas Vergnaud
Thomas Dérive
1
ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Cuauhtemoc Castellanos 1, 2
Author
Etienne Borde 1, 2
Mail :
Author IdHAL : etienne-borde
Laurent Pautet 1, 2
Mail :
Author IdHAL : laurent-pautet
Thomas Vergnaud
Author
Thomas Dérive
Author
1
ACES - Autonomic and Critical Embedded Systems (46 rue Barrault
75013 Paris - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (46 rue Barrault F-75634 Paris Cedex 13 - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
2
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
Document type :
Conference papers
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
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
LTCI | PARISTECH | INSTITUT-TELECOM | INFRES | ACES
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⟩
Metrics
Record views
