1. Dacier, M. (1994) Towards Quantitative Evaluation of Computer Security Doctoral Thesis, Institut National Polytechnique de Toulouse, December 20, LAAS Rep. 94488 (in French).
2. Dacier, M. and Deswarte, Y. (1994) The Privilege Graph: an Extension to the Typed Access Matrix Model, in European Symposium in Computer Security (ESORICS’94), Lecture Notes in Computer Science, 875, Springer-Verlag, Brighton, UK, 319–334.
3. Dacier, M.,Deswarte, Y. and Kaâniche, M. (1995) Models and Tools for Quantitative Assessment of Operational Security LAAS-CNRS, LAAS Report, N°95353.
4. Farmer, D. and Spafford, E. H. (1990) The COPS Security Checker System, in the Summer Usenix Conference, Anaheim, CA, USA.
5. Heydon, C. A. (1992) Processing Visual Specifications of File System Security, Ph.D. Thesis, School of Computer Science, CMU-CS-91–201, PA, USA.