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