A survey of approaches combining safety and security for industrial control systems
S Kriaa, L Pietre-Cambacedes, M Bouissou… - Reliability engineering & …, 2015 - Elsevier
The migration towards digital control systems creates new security threats that can endanger
the safety of industrial infrastructures. Addressing the convergence of safety and security …
the safety of industrial infrastructures. Addressing the convergence of safety and security …
Stram: Measuring the trustworthiness of computer-based systems
Various system metrics have been proposed for measuring the quality of computer-based
systems, such as dependability and security metrics for estimating their performance and …
systems, such as dependability and security metrics for estimating their performance and …
Why cryptosystems fail
R Anderson - Proceedings of the 1st ACM Conference on Computer …, 1993 - dl.acm.org
Designers of cryptographic systems are at a disadvantage to most other engineers, in that
information on how their systems fail is hard to get: their major users have traditionally been …
information on how their systems fail is hard to get: their major users have traditionally been …
[图书][B] Applications of formal methods
MG Hinchey, JP Bowen - 1995 - researchgate.net
The main goal of the series has been to develop, illustrate and promulgate the scientific
basis of computer programming, and its application in software engineering on an industrial …
basis of computer programming, and its application in software engineering on an industrial …
Critical system properties: Survey and taxonomy
J Rushby - Reliability Engineering & System Safety, 1994 - Elsevier
Computer systems are increasingly employed in circumstances where their failure (or even
their correct operation, if they are built to flawed requirements) can have serious …
their correct operation, if they are built to flawed requirements) can have serious …
The SEMA referential framework: Avoiding ambiguities in the terms “security” and “safety”
L Piètre-Cambacédès, C Chaudet - International Journal of Critical …, 2010 - Elsevier
The meaning of the terms “security” and “safety” varies considerably from one context to
another, leading to potential ambiguities. These ambiguities are very problematic in the …
another, leading to potential ambiguities. These ambiguities are very problematic in the …
Safety and security target levels: Opportunities and challenges for risk management and risk communication
A Fekete - International Journal of Disaster Risk Reduction, 2012 - Elsevier
This paper reviews a selection of target levels for safety and security in order to identify their
common properties. It is accompanied by a brief investigation of several key terms used in …
common properties. It is accompanied by a brief investigation of several key terms used in …
Studying interrelationships of safety and security for software assurance in cyber-physical systems: Approach based on bayesian belief networks
AJ Kornecki, N Subramanian… - … federated conference on …, 2013 - ieeexplore.ieee.org
The paper discusses mutual relationships of safety and security properties in cyber-physical
systems (CPS). Generally, safety impacts the system's environment while environment …
systems (CPS). Generally, safety impacts the system's environment while environment …
Evaluating the sense of safety and security in human–robot interaction with older people
For many applications where interaction between robots and older people takes place,
safety and security are key dimensions to consider.'Safety'refers to a perceived threat of …
safety and security are key dimensions to consider.'Safety'refers to a perceived threat of …
An integrated framework for security and dependability
E Jonsson - Proceedings of the 1998 workshop on New security …, 1998 - dl.acm.org
This paper deals with the problem of interpreting security and dependability in such a way
that they can be incorporated into the same framework. This calls for a modified …
that they can be incorporated into the same framework. This calls for a modified …