Skip navigation
Skip navigation

Run-time security traceability for evolving systems

Bauer, Andreas; Jurjens, Jan; Yu, Yijun

Description

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
URI: http://hdl.handle.net/1885/65518
Source: The Computer Journal
DOI: 10.1093/comjnl/bxq042

Download

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:  27 November 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator