De Villiers, D.P.; Von Solms, S.H.
(Computer Society of South Africa (on behalf of SAICSIT), 1988)
In this paper the Send/Receive and Take/Grant logical security models are formalised using results from formal
language theory. By using the graph rewriting facilities of NLC-grammars, and by extending these facilities ...