Skip to main content

TS

Composing patterns to construct secure systems

Authors

Paul Rimba, Liming Zhu, Len Bass, Ihor Kuz and Steve Reeves

NICTA

UNSW

The University of Waikato

Abstract

Building secure applications requires significant expertise. Secure platforms and security patterns have been proposed to alleviate this problem. However, correctly apply- ing patterns to use platform features is still highly expertise- dependent. 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 properties. Design fragments can be composed through four primitive tactics. The verification of the composed design against desired security properties is presented in an assurance case. We demonstrate our approach by securing a Continuous Deployment pipeline and show that the tactics are sufficient to compose design fragments into a secure system. Finally, we formally define composition tactics, which are intended to support the development of systems that are secure by construction.

BibTeX Entry

  @inproceedings{Rimba_ZBKR_15,
    author           = {Rimba, Paul and Zhu, Liming and Bass, Len and Kuz, Ihor and Reeves, Steve},
    month            = sep,
    year             = {2015},
    keywords         = {security; verification; patterns; composition; assurance},
    title            = {Composing Patterns to Construct Secure Systems},
    booktitle        = {European Dependable Computing Conference},
    pages            = {213-224},
    address          = {Paris, France}
  }

Download

Served by Apache on Linux on seL4.