Evolving access control: formal models and analysis
Any model of access control has two fundamental aims: to ensure that resources are protected from inappropriate access and to ensure that access by authorised users is appropriate. Traditionally, approaches to access control have fallen into one of two categories: discretionary access control (DAC)...
Main Authors: | Sieunarine, C, Clint Sieunarine |
---|---|
Other Authors: | Simpson, A |
Format: | Thesis |
Language: | English |
Published: |
2011
|
Subjects: |
Similar Items
-
Evolvability: a formal approach
by: Gallagher, A
Published: (2009) -
Formality, evolution, and model-driven software engineering
by: Davies, J, et al.
Published: (2005) -
Formal relationships in sequential object systems
by: Kerfoot, E
Published: (2010) -
Formalizing the Face Lattice of Polyhedra
by: Xavier Allamigeon, et al.
Published: (2022-05-01) -
Modelling of splicing systems using formal language theory
by: Fong, Wan Heng
Published: (2008)