Precise Dynamic Verification of Noninterference

  title={Precise Dynamic Verification of Noninterference},
  author={Gurvan Le Guernic},
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of secret information manipulated by a program. Many static analyses have been developed for the verification of noninterference. In contrast to those static analyses, this paper considers the run-time verification of the respect of confidentiality by a single execution of a program. It proposes a dynamic noninterference… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-3 of 3 references

Isbn 978-3-540-49496-6

  • ISBN 978-3-540-49496-6

Similar Papers

Loading similar papers…