Reactive non-interference for a browser model

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings - 2011 5th International Conference on Network and System Security, NSS 2011
DOIs
Publication statusPublished - 2011

Cite this