Extended BLP security model based on process reliability for secure linux kernel

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Volumn 2001-January, Issue , 2001, Pages 299-303

  Kang, Jung Min ^a   Shin, Wook ^a   Park, Chun Gu ^a   Lee, Dong Ik ^a  

^a Gwangju Institute of Science and Technology (GIST)   (South Korea)

Author keywords

[No Author keywords available]

Indexed keywords

LINUX; NETWORK SECURITY; RELIABILITY;

DYNAMIC RELIABILITY; INFORMATION DISCLOSURE; MALICIOUS BEHAVIOR; PROCESS BEHAVIOR; PROCESS RELIABILITY; SECURE OPERATING SYSTEM; SECURITY LABEL; SECURITY MODEL;

COMPUTER OPERATING SYSTEMS;

EID: 34648871901     PISSN: 15410110     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2001.992712     Document Type: Conference Paper

References (24)

1. NIST, "An Introduction to Computer Security: The NIST Handbook", 1994.
2. Peter A. Loscocco et al, "The Inevitability of Failure: The Flawed Assumption of Security in Modern Computing Environments", Technical report, NSA, 1995.
3. Daniel F. Stern et al, "Redrawing the Security Perimeter of a Trusted System", Computer Security Foundations Workshop VII, 1994.
4. D. Gollman, "Computer Security", Jone Wiley and Sons, 1999.
5. Edward G. Amoroso, "Fundamentals Of Computer Security Technology", Prentice Hall, 1994.
6. DOD, "Trusted Computer System Evaluation Criteria", 1985.
7. Carl E. Landwehr, "Formal Models for Computer Security", ACM Computing Surveys, Vol. 13, No. 3. 1981.
8. John McLean, "The Specification and Modeling of Computer Security", Computer, Vol. 23 Issue: 1, Jan. 1990
9. Len Lapadula, "Secure Computer Systems: Mathematical Foundations", MITRE Technical Report, Vol I, 1996.
10. Len Lapadula, "Secure Computer Systems: Mathematical Foundations", MITRE Technical Report, Vol II, 1996.
11. Carl E. Landwehr et al, "A Security Model for Military Message Systems", ACM Trans., 1984.
12. Tadao Murata, "Analysis and Applications of Petri Nets", Proceedings of the IEEE, Vol. 77, No. 4, 1989.
13. http://www.rsbac.de
14. Simpson Garfinkel, and Gene Spafford, "Practical Unix and Internet Security", O'Reilly and Associates, 1996.
15. Sandhu, R. S., and Coyne, E. J., "Access Control: Principles and Practices", IEEE Communications, 1995.
16. Frank L. Mayer, "An Interpretation of a Refined Bell-La Padula Model For the Tmach Kernel", Aerospace Computer Security Applications Conference, 1988.
17. M. V. Joyce, "Access Control and Applications on Trusted Systems", Computer Security Applications Conference, 1992.
18. D. Ferraiolo et al, "Role-Based Access Control", Proceedings of 15th National Computer Security Conference, 1992.
19. Dan Stern et al., "Reconsidering the Role of the Reference Monitor", Computer Security Foundations Workshop VII, 1994.
20. Bill Neugent, "Where We Stand in Multilevel Security (MLS): Requirements, Approaches, Issues, and Lessons Learned", Computer Security Applications Conference, 1994.
21. D. Ferraiolo et al, "Role Based Access Control: Features and Motivations", Proceedings, Annual Computer Security Applications Conference, IEEE Computer Society Press, 1995.
22. Donald Mackenzie et al.", Mathematics, Technology, and Trust: Formal Verification, Computer Security, and U. S. Military", IEEE Annals of the History of Computing, Vol. 19 Issue: 3, 1997.
23. Raymond M. Wong, "A Comparison of Secure UNIX Operating Systems", Computer Security Applications Conference, 1990.
24. Ravi Sandhu et al., "Authentication, Access Control, and Audit", ACM Computer Survey. 28, 1996.