Matias Lee, Pedro R. D Argenio. A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis. In Sergio F. Ochoa, Federico Meza, Domingo Mery, Claudio Cubillos, editors, SCCC 2010, Proceedings of the XXIX International Conference of the Chilean Computer Science Society, Antofagasta, Chile, 15-19 November 2010. pages 280-289, IEEE Computer Society, 2010. [doi]
Abstract is missing.