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.

Abstract

Abstract is missing.