X-by-C: Non-functional Security Challenges
(2018) Leveraging Applications of Formal Methods, Verification and Validation. Modeling — p. pp 486-501 (2018)
Files
Given-Wilson-Legay2018_Chapter_X-by-CNon-functionalSecurityCh.pdf
Open Access - Adobe PDF
- 295.21 KB
Details
- Authors
Given-Wilson, Thomas 
- Abstract
- Correctness-by-Construction (C-by-C) approaches software development as formal engineering and builds correct code by iterating from a correct specification. However, C-by-C is focused on functional properties of the system. X-by-Construction (X-by-C) extends C-by-C to also consider non-function properties concerning aspects such as security, dependability, reliability or energy consumption. In this work we consider the challenges of applying X-by-C to non-functional security properties such as side-channel attacks. We demonstrate how such non-functional security can be captured and reasoned about in an X-by-C manner, yielding the benefit of C-by-C for non-functional properties and security challenges.
- Affiliations
Citations
Given-Wilson, T., & Legay, A. (2018). X-by-C: Non-functional Security Challenges. Leveraging Applications of Formal Methods, Verification and Validation. Modeling, pp 486-501. https://doi.org/10.1007/978-3-030-03418-4_29 (Original work published 2018)