Contact person
Behrooz Sangchoolie
Forskare
Contact BehroozComputer systems, especially those used in safety-critical domains, should be designed, built and assessed not only from the functional point of view, but also with respect to their dependability properties such as safety and security.
With the increase in connectivity of safety-critical systems, it is important to assure that these systems are secure. Today’s assessment methods are usually only addressing either safety or security aspects. The interplay analysis between safety and security is the area where both aspects are considered to design, build and assess a safe and secure system. This analysis is part of a broader area of interest where several dependability and security properties are studied.
Dependability is the ability to deliver service that can justifiably be trusted. Dependability properties include reliability, safety, availability, integrity, and maintainability. Security, however, is traditionally defined using the CIA triad corresponding to three properties of confidentiality, integrity and availability. Other important security properties are privacy, freshness, non-repudiation, authenticity, and authorization.
Addressing dependability properties comes with implementation of measures that facilitate fulfilment of every individual property. For example, redundancy is a measure that is used to ensure that a system is available even when one of its redundant components is unavailable due to the presence of faults.
However, introduction of redundant components also increases the surface that could be affected or targeted by attacks, which in turn could have a negative impact on properties such as safety. Therefore, one would need to study the impact of introducing certain measures on dependability and security properties holistically.
Analyses of the interplay between dependability and security properties is the study of how designing and building a computer system, including its different measures, influence different dependability and security properties. In the literature, this type of analysis is also referred to as co-engineering or multi concern assessment. We can assist customers in performing interplay analyses at different phases of the development lifecycle, in the early stages by specifying the interplay between requirements all the way to after the system has been deployed, by assessing the impact of a new software update on the system.
We provide this support based on our expertise, some of which have been listed below: