Formal modeling in a generalized framework for access control
- 4 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 100-109
- https://doi.org/10.1109/csfw.1990.128190
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Exploiting the Dual Nature of Sensitivity LabelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1987
- A security model for military message systemsACM Transactions on Computer Systems, 1984
- Secure Computer System: Unified Exposition and Multics InterpretationPublished by Defense Technical Information Center (DTIC) ,1976