On lattices in access control models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4068 LNAI, Issue , 2006, Pages 374-387

  Obiedkov, Sergei ^a   Kourie, Derrick G ^a   Eloff, J H P ^a  

^a UNIVERSITY OF PRETORIA   (South Africa)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; DATA STRUCTURES; FORMAL LANGUAGES; MATHEMATICAL MODELS;

ACCESS CONTROL POLICIES; CONCEPT LATTICES;

CONTROL SYSTEMS;

EID: 33746648223     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11787181_27     Document Type: Conference Paper

References (13)

1. Sandhu, R.: Lattice-based access control models. IEEE Computer 26 (1993) 9-19
2. Denning, D.: A lattice model of secure information flow. Comm. ACM 19 (1976) 236-243
3. Biba, K.: Integrity considerations for secure computer systems. Report TR-3153, Mitre Corporation, Bedford, Mass. (1977)
4. Gollmann, D.: Computer Security. John Wiley & Sons Ltd, Chichester (1999)
5. Bell, D., LaPadula, L.: Secure computer systems: Mathematical foundations and model. Report M74-244, Mitre Corporation, Bedford, Mass. (1975)
6. Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)
7. Lipner, S.: Nondiscretionary controls for commercial applications. In: Proc. IEEE Symp. Security and Privacy, Los Alamitos, Calif., IEEE CS Press (1982) 2-10
8. Smith, G.: The Modeling and Representation of Security Semantics for Database Applications. PhD thesis, George Mason Univ., Fairfax, Va. (1990)
9. Birkhoff, G.: Lattice Theory. Amer. Math. Soc. Coll. Publ., Providence, R.I. (1973)
10. Guigues, J.L., Duquenne, V.: Familles minimales d'implications informatives resultant d'un tableau de données binaires. Math. Sci. Humaines 95 (1986) 5-18
11. Ganter, B.: Attribute exploration with background knowledge. Theoretical Computer Science 217 (1999) 215-233
12. Ganter, B., Krausse, R.: Pseudo models and prepositional horn inference. Technical Report MATH-AL-15-1999, Technische Universität Dresden, Germany (1999)
13. Ganter, B.: Two basic algorithms in concept analysis. Preprint Nr. 831, Technische Hochschule Darmstadt (1984)