 |
SAFECOMP2020 - Position Papers SAFECOMP 2020 International Conference on Computer Safety, Reliability and Security | 15-18 September 2020, Lisbon, Portugal |
Conference papers
Towards Automating Safety and Security Co-Analysis with Patterns
Abstract : This article presents the first results towards automating safety and security co-analysis with patterns.
Cited literature [10 references]
https://hal.laas.fr/hal-02931717
Contributor : Jérémie Guiochet Connect in order to contact the contributor
Submitted on : Monday, September 7, 2020 - 10:40:53 AM
Last modification on : Tuesday, April 13, 2021 - 4:41:41 PM
Long-term archiving on: : Wednesday, December 2, 2020 - 9:24:01 PM
Contributor : Jérémie Guiochet Connect in order to contact the contributor
Submitted on : Monday, September 7, 2020 - 10:40:53 AM
Last modification on : Tuesday, April 13, 2021 - 4:41:41 PM
Long-term archiving on: : Wednesday, December 2, 2020 - 9:24:01 PM
File
SAFECOMP_2020_paper_170.pdf
Files produced by the author(s)