Rajeev Alur, Pavol Cerný, Steve Zdancewic. Preserving Secrecy Under Refinement. In Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener, editors, Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II. Volume 4052 of Lecture Notes in Computer Science, pages 107-118, Springer, 2006. [doi]
@inproceedings{AlurCZ06,
title = {Preserving Secrecy Under Refinement},
author = {Rajeev Alur and Pavol Cerný and Steve Zdancewic},
year = {2006},
doi = {10.1007/11787006_10},
url = {http://dx.doi.org/10.1007/11787006_10},
tags = {refinement},
researchr = {https://researchr.org/publication/AlurCZ06},
cites = {0},
citedby = {0},
pages = {107-118},
booktitle = {Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II},
editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
volume = {4052},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-35907-9},
}