City Research Online

Evidence-Based Security in Aerospace. From Safety to Security and Back Again

Strigini, L., Bloomfield, R. E., Paulitsch, M. & Reiger, R. (2012). Evidence-Based Security in Aerospace. From Safety to Security and Back Again. Paper presented at the 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), Fast Abstracts Track, 26 - 29 Nov 2012, Dallas, Texas, USA.


Security concerns of safety-critical systems increase due to interconnections of systems. This paper tries to outline future security requirements in avionics and issues in assessing the reliability of software from the safety and security perspective. Quantitative work on software reliability has focused on requirements-to-code translation; software security has focused more on requirements correctness. Future work must take advantage of results from both the security and safety areas.

Publication Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > TL Motor vehicles. Aeronautics. Astronautics
Departments: School of Science & Technology > Computer Science > Software Reliability
[thumbnail of 2012-09WiP_SESAMO-v4 1.pdf]
Download (132kB) | Preview
Official URL:


Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email


Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login