1. Bel, D., LaPadula, L.J.: Secure Computer Systems: Mathematical Foundations. MITRE Technical Report 2647, vol. I. Nationgal Technical Information Service (1973)
2. LaPadula, L.J., Bell, D.: Secure Computer Systems: A Mathematical Model. MITRE Techniacl Report 2547, vol. II. National Information Service (1973)
3. Lapadula, L.: Secure computer system: a mathematical model. MITRE Technical Report, Vol II (1996)
4. Leonard, J., Elliott Bell, D.: Secure Computer Systems: Mathematical Foundations, May 31 (1973)
5. Shi, W.C.: Research on and enforcement of methods ofmethods of secure operating systems development [Ph.D.Thesis]. Institute of Software, The Chinese Academy of Sciences, Beijing (2001)