Cited By
View all- Payne CMoore AMihelcic D(1994)An experience modeling critical requirementsProceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance10.1109/CMPASS.1994.318448(245-255)Online publication date: 1994
- Kelem NFeiertag R(1991)A separation model for virtual machine monitorsProceedings. 1991 IEEE Computer Society Symposium on Research in Security and Privacy10.1109/RISP.1991.130776(78-86)Online publication date: 1991
- Payne CFroscher JMcDermott J(1990)On models for a trusted application system[1990] Proceedings of the Sixth Annual Computer Security Applications Conference10.1109/CSAC.1990.143752(58-67)Online publication date: 1990