Von Solms, S.H.; De Villiers, D.P.
(Computer Society of South Africa (on behalf of SAICSIT), 1988)
The operations in the Take/Grant Protection Model are formalised using theory and results from the discipline
of formal languages. A Protection Graph Rewriting Grammar is defined, which generates protection graphs
consistent ...