City Research Online

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

Strigini, L., Bloomfield, R. E., Paulitsch, M. and 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.

Abstract

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 Mathematics, Computer Science & Engineering > Computer Science > Software Reliability
URI: http://openaccess.city.ac.uk/id/eprint/1958
[img]
Preview
PDF
Download (132kB) | Preview
Official URL: http://2012.issre.net/

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login