Using NLC-Grammars to Formalise the Take/Grant and Send/Receive Security Models

dc.contributor.author	De Villiers, D.P.
dc.contributor.author	Von Solms, S.H.
dc.date.accessioned	2018-06-06T11:25:47Z
dc.date.available	2018-06-06T11:25:47Z
dc.date.issued	1988
dc.identifier.citation	D P de Villiers and S H von Solrns (1988) Using NLC-Grammars to Formalise the Take/Grant and Send/Receive Security Models. Quaestiones Informaticae Vol 6 No 2 1988	en
dc.identifier.issn	0254-2757
dc.identifier.uri	http://hdl.handle.net/10500/24263
dc.description.abstract	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	en
dc.language.iso	en	en
dc.publisher	Computer Society of South Africa (on behalf of SAICSIT)	en
dc.title	Using NLC-Grammars to Formalise the Take/Grant and Send/Receive Security Models	en
dc.type	Article
dc.description.department	School of Computing	en