The paper "Assumptions and Guarantees for Compositional Noninterference" by Heiko Mantel, David Sands, and Henning Sudbrock has been accepted for publication at CSF 2011 (the IEEE Computer Security Foundations Symposium).