Using NLC-Grammars to Formalise the Take/Grant and Send/Receive Security Models
D.P. De Villiers, S.H. von Solms · Unisa Institutional Repository (University of South Africa) · 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 to take different types of context conditions into account, the actions within the Send/Receive and Take/Grant models are simulated. Keywords: Graph grammars, Node-Label-Controlled graph grammars, Grammatical protection systems, Take/Grant models, Send/Receive models