Run-time security traceability for evolving systems
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]
|Collections||ANU Research Publications|
|Source:||The Computer Journal|
|01_Bauer_Run-time_security_traceability_2011.pdf||879.56 kB||Adobe PDF||Request a copy|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.