A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Composing Patterns to Construct Secure Systems
2015
2015 11th European Dependable Computing Conference (EDCC)
Building secure applications requires significant expertise. Secure platforms and security patterns have been proposed to alleviate this problem. However, correctly applying patterns to use platform features is still highly expertisedependent. Patterns are informal and there is a gap between them and platform features. We propose the concept of reusable verified design fragments, which package security patterns and platform features and are verified to provide assurance about their security
doi:10.1109/edcc.2015.12
dblp:conf/edcc/RimbaZBKR15
fatcat:76kvksgi6ja2daejvdzqtgtqum