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 …

Stram: Measuring the trustworthiness of computer-based systems

JH Cho, S Xu, PM Hurley, M Mackay… - ACM Computing …, 2019 - dl.acm.org
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 …

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 …

[图书][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 …

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 …

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 …

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 …

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 …

Evaluating the sense of safety and security in human–robot interaction with older people

N Akalin, A Kristoffersson, A Loutfi - … , societal and ethical aspects of human …, 2019 - Springer
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 …

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 …