Smart CitationsSee how this article has been cited at scite.ai
scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.
- Record: found
- Abstract: found
- Conference Proceedings: found
A Model-based Approach to Interdependency between Safety and Security in ICS
Content
Author and article information
References
T Aven 2007 A unified framework for risk and vulnerability analysis covering both safety and security Reliability Eng. Syst. Safety 92 6 745 754
C Baral 2003 Knowledge representation, reasoning and declarative problem solving Cambridge, U.K Cambridge University Press
R BloomfieldK NetkachovaR Stroud, 2013 Security-informed safety: If its not secure, its not safe Software Engineering for Resilient Systems Berlin, Germany Springer 17 32
D. P EamesJ Moffett 1999 The integration of safety and security requirements Computer Safety, Reliability and Security Berlin, Germany Springer 468 480
M GebserR KaminskiB KaufmannM OstrowskiT SchaubM Schneider 2011 Potassco: The Potsdam answer set solving collection AI Commun 24 2 107 124
C HankinF NielsonH. R Nielson 2009 Advice from belnap policies IEEE 22nd Computer Security Foundations Symposium 234 247
S KriaaM BouissouF ColinY HalgandL Pietre-Cambacedes, 2014 Safety and security interactions modeling using the BDMP formalism: Case study of a pipeline Computer Safety, Reliability, and Security Berlin, Germany Springer 326 341
S KriaaL Pietre-CambacedesM BouissouY Halgand 2015 A survey of approaches combining safety and security for industrial control systems Reliability Eng. Syst. Safety 139 156 178
R Langer 2012 Robust control system networks how to achieve reliable control after stuxnet
Q NiE BertinoJ Lobo 2009 D-algebra for composing access control policy decisions Proceedings of the 4th International Symposium on Information, Computer, and Communications Security ACM 298 309
T NovakA TreytlP Palensky 2007 Common approach to functional safety and system security in building automation and control systems IEEE Conference Emerging Technologies and Factory Automation 1141 1148
L Piètre-Cambac édèsM Bouissou 2010 Modeling safety and security interdependencies with BDMP (boolean logic driven markov processes) IEEE International Conference Systems Man and Cybernetics (SMC) 2852 2861
L Piètre-Cambac édèsC Chaudet 2010 The SEMA referential framework: Avoiding ambiguities in the terms security and safety Int. J. Critical Infrastruct. Protection 3 2 55 66
M SunS MohanL ShaC Gunter 2009 Addressing safety and security contradictions in cyber-physical systems Proceedings of the 1st Workshop on Future Directions in Cyber-Physical Systems Security (CPSSW09)
C Woskowski 2014. C Woskowski 2014 A pragmatic approach towards safe and secure medical device integration Computer Safety, Reliability, and Security Berlin, Germany Springer 342 353