The paper "Assumptions and Guarantees for Compositional Noninterference" by Heiko Mantel, David Sands, and Henning Sudbrock has received the RS3 Best Paper Award (Theory) 2010/2011. The paper has been published in the Proceedings of the IEEE Computer Security Foundations Symposium (CSF).
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang