Jeremy Epstein, John McHugh, Hilarie K. Orman, R. Pascale, Ann B. Marmor-Squires, B. Danner, C. Martin, M. Branstad, J. Benson, D. Rothnie. A High Assurance Window System Prototype. Journal of Computer Security, 2(2-3):159-190, 1993.
@article{EpsteinMOPMDMBBR93,
title = {A High Assurance Window System Prototype},
author = {Jeremy Epstein and John McHugh and Hilarie K. Orman and R. Pascale and Ann B. Marmor-Squires and B. Danner and C. Martin and M. Branstad and J. Benson and D. Rothnie},
year = {1993},
tags = {C++},
researchr = {https://researchr.org/publication/EpsteinMOPMDMBBR93},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {2},
number = {2-3},
pages = {159-190},
}