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]
@inproceedings{Meyden09,
title = {Architectural Refinement and Notions of Intransitive Noninterference},
author = {Ron van der Meyden},
year = {2009},
doi = {10.1007/978-3-642-00199-4_6},
url = {http://dx.doi.org/10.1007/978-3-642-00199-4_6},
tags = {refinement, architecture},
researchr = {https://researchr.org/publication/Meyden09},
cites = {0},
citedby = {0},
pages = {60-74},
booktitle = {Engineering Secure Software and Systems, First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings},
editor = {Fabio Massacci and Samuel T. Redwine Jr. and Nicola Zannone},
volume = {5429},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-00198-7},
}