Skip navigation
Skip navigation

Run-time security traceability for evolving systems

Bauer, Andreas; Jurjens, Jan; Yu, Yijun


Security-critical systems are challenging to design and implement correctly and securely. A lot of vulnerabilities have been found in current software systems both at the specification and the implementation levels. This paper presents a comprehensive approach for model-based security assurance. Initially, it allows one to formally verify the design models against high-level security requirements such as secrecy and authentication on the specification level, and helps to ensure that their...[Show more]

CollectionsANU Research Publications
Date published: 2011
Type: Journal article
Source: The Computer Journal
DOI: 10.1093/comjnl/bxq042


File Description SizeFormat Image
01_Bauer_Run-time_security_traceability_2011.pdf879.56 kBAdobe PDF    Request a copy

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  19 May 2020/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator