Skip to Main content Skip to Navigation
Conference papers

Towards Automating Safety and Security Co-Analysis with Patterns

Yuri Dantas 1 Antoaneta Kondeva 1 Vivek Nigam 1
1 Fortiss GmbH
Abstract : This article presents the first results towards automating safety and security co-analysis with patterns.
Keywords : Index Terms-safety security co-analysis automation
Document type :
Conference papers
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download
https://hal.laas.fr/hal-02931717
Contributor : Jérémie Guiochet <>
Submitted on : Monday, September 7, 2020 - 10:40:53 AM
Last modification on : Wednesday, September 9, 2020 - 3:56:02 PM
Long-term archiving on: : Wednesday, December 2, 2020 - 9:24:01 PM

File

Vignette du document
SAFECOMP_2020_paper_170.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02931717, version 1

Collections

LAAS | SAFECOMP2020

Citation

Yuri 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

68

Files downloads

75