Formalisation and implementation of Access control models

International Conference on Information Technology: Coding and Computing, ITCC

Volumn 1, Issue , 2005, Pages 703-708

  Jaume, Mathieu ^a   Morisset, Charles ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DATABASE SYSTEMS; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SECURITY OF DATA;

ACCESS CONTROL MODEL; ACCESS CONTROL SOFTWARE; LA PADULA SECURITY MODEL; SECURITY POLICY MODEL;

COMPUTER SOFTWARE;

EID: 24744461893     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/itcc.2005.154     Document Type: Conference Paper

References (11)

1. Sqlite: http://www.sqlite.org/.
2. E. Gureghian, T. Hardin, and M. Jaume. A full formalisation of the Bell and Lapadula security model. Technical Report 2003-007, Univ. Paris 6, LIP6, 2003.
3. L. LaPadula and D. Bell. Secure Computer Systems: A Mathematical Model. Journal of Computer Security, 4:239-263, 1996.
4. McLean. The algebra of security. In Proc. IEEE Symposium on Security and Privacy, pages 2-7. IEEE Computer Society Press, 1988.
5. J. McLean. Security models and information flow. In Proceedings of the IEEE Symposium on Research in Security and Privacy, pages 180-187, 1990.
6. J. McLean. Security models. In J. Marciniak, editor, Encyclopedia of Software Engineering. J. Wiley & Sons, 1994.
7. C. Morisset. Formalisation et implantation d'un modèle de contrôle d'accès dans l'atelier Focal. Master's thesis, Université Paris 6, 2004.
8. NSA. Protection Profile For Multilevel Operating Systems In Environments Requiring Medium Robustness. Technical report, National Security Agency, 2001.
9. V. Prevosto and D. Doligez. Algorithms and proof inheritance in the foe language. Journal of Automated Reasoning, 29(3-4):337-363, dec 2002.
10. L. Project. The Coq Proof Assistant Reference Manual Version 7. INRIA-Rocquencourt, 2002.
11. R. Rioboo, D. Doligez, V. Prevosto, M. Jaume, M. Maarek, C. Dubois, S. Fechter, V. Ménissier-Morain, O. Pons, D. Delahaye, V. Viguié, and T. Hardin. Focal, version 0.2 Tutorial and reference manual. LIP6 - INRIA - CNAM, sept 2004. Distribution available at: http://focal.inria.fr.