Models of Reliability of Fault-Tolerant Software under Cyber-Attacks
- Submitting institution
-
City, University of London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 788
- Type
- E - Conference contribution
- DOI
-
10.1109/ISSRE.2017.23
- Title of conference / published proceedings
- 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)
- First page
- 228
- Volume
- -
- Issue
- -
- ISSN
- 1071-9458
- Open access status
- Compliant
- Month of publication
- November
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
-
- Citation count
- 5
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Output presents a novel way of modelling the effect of successful attacks on software reliability. Theory, models, and a number of illustrative examples related to patching and intrusion tolerant architecture (software cleansing). The modelling approach has been applied to co-engineer critical systems for safety and security (critical infrastructures, embedded safety-critical systems) in the AQUAS project (EU ECSEL JU) in collaboration with industrial partners (e.g. Siemens, Austria, Integrasys, Spain). The approach was also used to extend the CHESS tool (in collaboration with INTECS, Italy). The usefulness of the approach has been validated on high fidelity models of critical infrastructures.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
