@inproceedings{icalp06refinement,
 author = {Rajeev Alur and Pavol {\v C}ern{\'y} and Steve Zdancewic},
 title = {Preserving Secrecy Under Refinement},
 booktitle = {ICALP '06: Proceedings (Part II) of the 33rd International Colloquium on Automata, Languages and Programming},
 year = {2006},
 isbn = {},
 pages = {107--118},
 location = {Venice, Italy},
 publisher = {Springer},
 }