Preserving secrecy under refinement. (2006)

by Rajeev Alur, Pavol Cerny, Steve Zdancewic
Venue:In ICALP ’06: Proceedings (Part II) of the 33rd International Colloquium on Automata, Languages and Programming,