Nataliia Bielova, Dominique Devriese, Fabio Massacci, Frank Piessens. Reactive non-interference for a browser model. In Pierangela Samarati, Sara Foresti, Jiankun Hu, Giovanni Livraga, editors, 5th International Conference on Network and System Security, NSS 2011, Milan, Italy, September 6-8, 2011. pages 97-104, IEEE, 2011. [doi]
Abstract is missing.