Towards Automating Safety and Security Co-Analysis with Patterns - Position Papers SAFECOMP 2020 International Conference on Computer Safety, Reliability and Security Access content directly
Conference Papers Year : 2020

Towards Automating Safety and Security Co-Analysis with Patterns

Yuri G. Dantas
  • Function : Author
  • PersonId : 1023813
Antoaneta Kondeva
  • Function : Author
  • PersonId : 1076581
Vivek Nigam
  • Function : Author
  • PersonId : 849255

Abstract

This article presents the first results towards automating safety and security co-analysis with patterns.
Fichier principal
Vignette du fichier
SAFECOMP_2020_paper_170.pdf (337.35 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-02931717 , version 1

Cite

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⟩

Collections

SAFECOMP2020
78 View
4 Download

Share

Gmail Facebook X LinkedIn More