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)...
Autors principals: | Sieunarine, C, Clint Sieunarine |
---|---|
Altres autors: | Simpson, A |
Format: | Thesis |
Idioma: | English |
Publicat: |
2011
|
Matèries: |
Ítems similars
-
Evolvability: a formal approach
per: Gallagher, A
Publicat: (2009) -
Formality, evolution, and model-driven software engineering
per: Davies, J, et al.
Publicat: (2005) -
Formal relationships in sequential object systems
per: Kerfoot, E
Publicat: (2010) -
Formalizing the Face Lattice of Polyhedra
per: Xavier Allamigeon, et al.
Publicat: (2022-05-01) -
A lattice-based approach for mathematical search using Formal Concept Analysis
per: Nguyen, Tam T., et al.
Publicat: (2013)