Formal Modeling in a Generalized Framework for Access Control

Leonard J. LaPadula. Formal Modeling in a Generalized Framework for Access Control. In CSFW. pages 100-109, 1990.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.