@inproceedings{Schmidt2009, author = {Schmidt, Holger}, title = {Pattern-Based Confidentiality-Preserving Refinement}, booktitle = {Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings}, editor = {Fabio Massacci and Samuel T. Redwine Jr. and Nicola Zannone}, volume = {LNCS, 5429}, pages = {43 -- 59}, doi = {10.1007/978-3-642-00199-4_5}, url = {https://link.springer.com/chapter/10.1007\%2F978-3-642-00199-4_5}, year = {2009}, }