A policy flexible architecture for secure operating system

Operating Systems Review (ACM)

Volumn 39, Issue 3, 2005, Pages 24-33

  Zhiqiang, Lin ^a   Chao, Wang ^a   Bing, Mao ^a   Li, Xie ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTER ARCHITECTURE; COMPUTER SCIENCE; COMPUTER SOFTWARE; SECURITY OF DATA;

COMPUTER OPERATING SYSTEM - LINUX; POLICY FLEXIBLE ARCHITECTURE (PFA); REVOCATION RULES;

COMPUTER OPERATING SYSTEMS;

EID: 33845221224     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1075395.1075397     Document Type: Article

References (16)

1. D. Mazieres, M. Kaashoek. Secure Applications Need Flexible Operating Systems. The 6th Workshop on Hot Topics in Operating Systems (HotOS-VI), pp. 56-61, 1997.
2. th USENIX Security Symposium, 1999.
3. M. D. Abrams, L. LaPadula, et.al. Generalized Framework for Access Control: An Informal Description. Proc. of the 13th National Computer Security Conference, pp. 135-143, Oct. 1990.
4. th International Linux Congress, November, 2001.
5. R. S. Sandhu, Role-Based Access Control Models. IEEE Computer 29(2): 38-47, IEEE Press, 1996.
6. N. Damianou, The Ponder Policy Specification Language. Proc. Policy 2001: Workshop on Policies for Distributed Systems and Networks, Bristol, UK, pp. 29-31, Jan. 2001.
7. C. Ribeiro. SPL: An access control language for security policies with complex constraints. Proc. Of Network and Distributed System Security Symposium, 2001.
8. America Department of Defense, Trusted Computer System Evaluation Criteria, CSC-STD-001-83, Aug 1983.
9. th USENIX Security Symposium, August 1996
10. L. LaPadula, A Rule-Set Approach to Formal Modeling of a Trusted Computer System. Computing Systems Journal, Vol 7, No 1, pp. 113-167, 1994.
11. th ACM Conference on Computer and Communications Security, 2000.
12. P. A. Karger, New Methods for Immediate Revocation. Proc. of the 1989 IEEE Symposium on Security and Privacy, pp. 48-55, May 1989.
13. th ACM Conference on Computer and Communications Security, pp. 174-183, 2000.
14. P. Loscocco, S. Smalley, Integrating Flexible Support for Security Policies into the Linux Operating System. Proc. of the FREENIX Track: 2001 USENIX Annual Technical Conference (FREENIX '01), pp. 29-42, June 2001.
15. J. Fassino, J. B. Stefani, J. L. Lawall, G. Muller, Think: A Software Framework for Component-based Operating System Kernels, Proc. of the General Track: 2002 USENIX Annual Technical Conference, p.73-86, June 10-15, 2002
16. C. Rippert: Protection in flexible operating system architectures, ACM SIGOPS Operating Systems Review, Volume 37, 2003