Typing noninterference for reactive programs

  title={Typing noninterference for reactive programs},
  author={Ana Gualdina Almeida Matos and G{\'e}rard Boudol and Ilaria Castellani},
  journal={J. Log. Algebr. Program.},
We study the security property of noninterference for a class of synchronous programs called reactive programs. We consider a core reactive language, obtained by extending the imperative language of Volpano, Smith and Irvine with a form of scheduled parallelism and with reactive primitives that manipulate broadcast signals. The definition of noninterference has to be tuned to the particular nature of reactive computations, which are regulated by a notion of instant. Moreover, a new form of… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS
17 Citations
27 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 27 references

A new type system for secure information flow

  • G. Smith
  • In Proceedings 14th IEEE Computer Security…
  • 2001
Highly Influential
13 Excerpts

Loft+Cyclone. INRIA Research Report 5680

  • F. Boussinot
  • INRIA Sophia Antipolis,
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…