@inproceedings{Schmidt2009, author = {Schmidt, Holger}, title = {Pattern-Based Confidentiality-Preserving Refinement}, series = {Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings}, volume = {LNCS, 5429}, booktitle = {Engineering Secure Software and Systems: First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings}, editor = {Massacci, Fabio and Redwine Jr., Samuel T. and Zannone, Nicola}, publisher = {Springer}, address = {Berlin, Heidelberg}, isbn = {978-3-642-00198-7}, doi = {10.1007/978-3-642-00199-4_5}, pages = {43 -- 59}, year = {2009}, language = {en} }