Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean. Formal specification and verification of data separation in a separation kernel for an embedded system. In Ari Juels, Rebecca N. Wright, Sabrina De Capitani di Vimercati, editors, Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30 - November 3, 2006. pages 346-355, ACM, 2006. [doi]
@inproceedings{HeitmeyerALM06,
title = {Formal specification and verification of data separation in a separation kernel for an embedded system},
author = {Constance L. Heitmeyer and Myla Archer and Elizabeth I. Leonard and John D. McLean},
year = {2006},
doi = {10.1145/1180405.1180448},
url = {http://doi.acm.org/10.1145/1180405.1180448},
tags = {data-flow},
researchr = {https://researchr.org/publication/HeitmeyerALM06},
cites = {0},
citedby = {0},
pages = {346-355},
booktitle = {Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30 - November 3, 2006},
editor = {Ari Juels and Rebecca N. Wright and Sabrina De Capitani di Vimercati},
publisher = {ACM},
}