A Practical Alternative to Domain and Type Enforcement Integrity Formal Models
暂无分享,去创建一个
[1] Trent Jaeger,et al. Analyzing Integrity Protection in the SELinux Example Policy , 2003, USENIX Security Symposium.
[2] D. E. Bell,et al. Secure Computer Systems : Mathematical Foundations , 2022 .
[3] Daniel F. Sterne,et al. A Domain and Type Enforcement UNIX Prototype , 1995, Comput. Syst..
[4] Marshall D. Abrams,et al. Trusted system concepts , 1995, Comput. Secur..
[5] Phil Kearns,et al. Domain and Type Enforcement for Linux , 2000, Annual Linux Showcase & Conference.
[6] Yeping He,et al. A formal model for integrity protection based on DTE technique , 2006, Science in China Series F: Information Sciences.
[7] Peter Loscocco,et al. Meeting Critical Security Objectives with Security-Enhanced Linux , 2001 .
[8] Trent Jaeger,et al. Policy management using access control spaces , 2003, TSEC.