Towards Automating Safety and Security Co-Analysis with Patterns - Position Papers SAFECOMP 2020 International Conference on Computer Safety, Reliability and Security Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

Towards Automating Safety and Security Co-Analysis with Patterns

Yuri G. Dantas
  • Fonction : Auteur
  • PersonId : 1023813
Fortiss GmbH
Antoaneta Kondeva
  • Fonction : Auteur
  • PersonId : 1076581
Fortiss GmbH
Vivek Nigam
  • Fonction : Auteur
  • PersonId : 849255
Fortiss GmbH

Résumé

This article presents the first results towards automating safety and security co-analysis with patterns.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
SAFECOMP_2020_paper_170.pdf (337.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Jérémie Guiochet  : Connectez-vous pour contacter le contributeur

https://laas.hal.science/hal-02931717

Soumis le : lundi 7 septembre 2020-10:40:53

Dernière modification le : vendredi 3 mars 2023-16:18:05

Archivage à long terme le : mercredi 2 décembre 2020-21:24:01

Télécharger pour visualiser

Dates et versions

hal-02931717 , version 1 (07-09-2020)

Identifiants

  • HAL Id : hal-02931717 , version 1

Citer

Yuri G. Dantas, Antoaneta Kondeva, Vivek Nigam. Towards Automating Safety and Security Co-Analysis with Patterns. 39th International Conference on Computer Safety, reliability and Security (SAFECOMP), Position Paper, Sep 2020, Lisbon, Portugal. ⟨hal-02931717⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

SAFECOMP2020
85 Consultations
4 Téléchargements

Partager

Gmail Facebook X LinkedIn More