Ron van der Meyden. Architectural Refinement and Notions of Intransitive Noninterference. In Fabio Massacci, Samuel T. Redwine Jr., Nicola Zannone, editors, Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings. Volume 5429 of Lecture Notes in Computer Science, pages 60-74, Springer, 2009. [doi]
Abstract is missing.