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.
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 Science & Technology > Computer Science > Software Reliability |
Download (132kB) | Preview
Export
Downloads
Downloads per month over past year