A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis

@article{Lee2010ARB,
  title={A Refinement Based Notion of Non-interference for Interface Automata: Compositionality, Decidability and Synthesis},
  author={Matias David Lee and Pedro R. D'Argenio},
  journal={2010 XXIX International Conference of the Chilean Computer Science Society},
  year={2010},
  pages={280-289}
}
Interface automata (IA) introduce a framework to model stateful interfaces. Interface structures for security (ISS) extend IA to cope with security properties. In this article, we argue that bisimulation-based non interference is not quite appropriate to characterize security on ISS. We instead introduce refinement-based variants of non-interference that fit better in this context. Moreover, we show that these new properties are not preserved by composition, but give sufficient conditions to… CONTINUE READING