@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} }