Unified support for heterogeneous security policies in distributed systems

Proceedings of the 7th USENIX Security Symposium

Volumn , Issue , 1998, Pages

  Minsky, Naftaly H ^a   Ungureanu, Victoria ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; DISTRIBUTED COMPUTER SYSTEMS; SECURITY SYSTEMS; SOFTWARE AGENTS;

ACCESS CONTROL LISTS; ACCESS CONTROL MODELS; COMMERCIAL APPLICATIONS; DIFFERENT MECHANISMS; DISCRETIONARY MODELS; DISTRIBUTED SYSTEMS; SECURITY MECHANISM; SECURITY POLICY;

NETWORK SECURITY;

EID: 85084161655     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (23)

1. J. R. Anderson. A security policy model for clinical information systems. In Proceedings of the IEEE Symposium on Security and Privacy, May 1996.
2. K.P. Birman. The process group approach to reliable distributed computing. Communications of the ACM, 36(12):36-53, December 1993.
3. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust managemnt. In Proceedings of the IEEE Symposium on Security and Privacy, May 1996.
4. D. Brewer and M. Nash. The Chinese Wall security policy. In Proceedings of the IEEE Symposium in Security and Privacy. IEEE Computer Society, 1989.
5. D.D. Clark and D.R. Wilson. A comparison of commercial and military computer security policies. In Proceedings of the IEEE Symposium in Security and Privacy, pages 184-194. IEEE Computer Society, 1987.
6. E. Cohen and D. Jefferson. Protection in the HYDRA operating system. In Operating Systems Principles, pages 141-160. ACM, Nov. 1975.
7. S. Foley. The specification and implementation of 'commercial' security requirements including dynamic segregation of duties. In Proceedings of the 4th A CM Conference on Computer and Communications Security, April 1997. (to appear).
8. S Foley, L. Gong, and X. Qian. A security model of dynamic labelling providing a tiered approach to verification. In Proceedings of the IEEE Symposium on Security and Privacy, May 1996.
9. M. Franklin and M. Reiter. The design and implementation of a secure auction service. In Proceedings of the IEEE Symposium on Security and Privacy, pages 2-14, May 1995.
10. A. Jones, R. Chansler Jr., I. Durham, K. Schwans, and S. Vegdahl. StarOS, a multiprocessor operating system for the support of task forces. In Proceedings of the IEEE Symposium on Security and Privacy, pages 117-127, Dec 1979.
11. M. Jones and B. Schneier. Securing the World Wide Web: Smart Tokens and their implementation. In Proceedings of the Fourth International World Wide Web Conference, pages 397-409, December 1995.
12. S. Kent. Internet privacy enhanced mail. Communications of the ACM, August 1993.
13. N.H. Minsky. The imposition of protocols over open distributed systems. IEEE Transactions on Software Engineering, February 1991.
14. N.H. Minsky and V. Ungureanu. Regulated coordination in open distributed systems. In Proc. of Coordination'97: Second International Conference on Coordination Models and Languages; LNCS 1282, pages 81-98, September 1997.
15. N.H. Minsky, V. Ungureanu, W. Wang, and J. Zhang. Building reconfiguration primitives into the law of a system. In Proc. of the Third International Conference on Configurable Distributed Systems (ICCDS'96), March 1996. (available through http://www.cs.rutgers.edu/~minsky/).
16. S. Mullender, G. Rossum, A. Tanembaum, R. Van Renesse, and H. Staveren. Amoeba: a distributed operating system for the 1990s. IEEE Computer, May 1990.
17. R. Rivest and B. Lampson. SDSI-a simple distributed security infrastructure. Technical report, 1996. http://theory.lcs.mitedu/~rivest/sdsi.ps.
18. Ravi Sandhu. Lattice-based access control models. IEEE Computer, November 1993.
19. F.B. Schneider. Implementing fault tolerant services using the state machine approach. ACM Computing Surveys, 22(4):300-319, 1990.
20. A. Tanenbaum. Distributed Operating Systems. Prentice Hall, 1995.
21. M. Theimer, D. Nichols, and Douglas Terry. Delegation through access control programs. In Proceedings of Distributed Computing System, pages 529-536, 1992.
22. J.D. Tygar and B. Yee. Dyad: A system for using physically secure coprocessors. Technical Report CMU-CS-91-140R, CMU, 1991.
23. B. Yee. Using Secure Coprocessors. PhD thesis, Carnegie Mellon University, May 1994.