Institutional Repository

Browsing Quaestiones Informaticae Vol 6 No 1 by Author "De Villiers, D.P."

Browsing Quaestiones Informaticae Vol 6 No 1 by Author "De Villiers, D.P."

Sort by: Order: Results:

  • Protection Graph Rewriting Grammars and the Take/Grant Security Model 
    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 ...
  • Using NLC-Grammars to Formalise the Take/Grant and Send/Receive Security Models 
    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 ...

Search UnisaIR


Browse

My Account