Policy ratification

Proceedings - Sixth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2005

Volumn 2005, Issue , 2005, Pages 223-232

  Agrawal, Dakshi ^a   Giles, James ^a   Lee, Kang Won ^a   Lobo, Jorge ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

RATIFICATION PROCESSES; SYSTEM ADMINISTRATION; SYSTEM MANAGEMENT;

ADAPTIVE ALGORITHMS; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PUBLIC POLICY; SEMANTICS; SYSTEMS ANALYSIS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 27644576852     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2005.25     Document Type: Conference Paper

References (22)

1. D. Agrawal, S. Calo, J. Giles, K.-W. Lee, and D. Verma. Policy management for networked systems and applications. In Proc. of IFIP/IEEE International. Symposium on Integrated Network Management, May 2005.
2. D. Agrawal, J. Giles, K.-W. Lee, K. Voruganti, and K. Filali-Adib. Policy-based validation of san configuration. In Proc. of IEEE Policy 2004, June 2004.
3. H. Aït-Kaci. Warren's abstract machine: a tutorial reconstruction. MIT Press, 1991.
4. E. Al-Shaer and H. Hamed. Firewall policy advisor for anomaly discovery and rule editing. In Proc. of IFIP/IEEE International Symposium on Integrated Network Managemnt, March 2003.
5. G. J. Badros, A. Borning, and P. J. Stuckey. The Cassowary linear arithmetic constraint solving algorithm. ACM Trans. Comput.-Hum. Interact., 8(4):267-306, 2001.
6. M. A. Bender, R. Cole, E. Demaine, M. Farach-Colton, and J. Zito. Two simplified algorithms for maintaining order in a list. In Proceedings of the 10th European Symposium on Algorithms (ESA), pages 152-164, 2002.
7. J. Chomicki, J. Lobo, and S. Naqvi. Conflict resolution using logic programming. IEEE Transactions on Data and Knowledge Engineering, 15(1):244-249, 2003.
8. N. Damianou, N. Dulay, E. Lupu, and M. Sloman. The ponder policy specification language. In Proc. of IEEE Policy 2001, June 2001.
9. G. B. Dantzig. Linear Programming and Extensions. Princeton University Press, 1963.
10. P. F. Dietz and D. D. Sleator. Two algorithms for maintaining order in a list. In Proc. of ACM Symposium on Theory of Computing, pages 365-372, 1987.
11. P. Flegkas, P. Trimintzios, G. Pavlou, and A. Liotta. Design and implementation of a policy-based resource managmenet architecture. In Proc. of IFIP/IEEE International Symposium on Integrated Network Managemnt, March 2003.
12. M. R. Garey and D. S. Johnsom. Computers and Intractability: A guide to the theory of NP-completeness. Freeman and Company, 1979.
13. J. E. Hopcroft and J. D. Ullman. Introduction to Automata Theory, Languages and Computation. Addison Wesley, 1979.
14. T. Koch, C. Krell, and B. Kramer. Policy defition language for automated managment of distributed system. In Proc. of Second IEEE Int'l Workshop Systems Management, pages 55-64, 1996.
15. M. M. Larrondo-Petrie, E. Gudes, H. Song, and E. B. Fernandez. Security policies in object-oriented databases. In Proc. of IFIP Database Security: Status and Prospects, pages 257-268, 1990.
16. J. Lobo, R. Bhatia, and S. Naqvi. A policy description language. In Proc. of American Association for Artificial Intelligence, July 1999.
17. E. Lupu and M. Sloman. Conflicts in policy-based distributed systems management. IEEE Transactions on Software Engineering, 25(6), November 1999.
18. J. Moffett and M. Sloman. Policy conflict analysis in distributed system management. 4(1):1-22, 1994.
19. B. Moore, E. Ellesson, J. Strassner, and A. Westerinen. Policy core information model (PCIM) - version 1 specification. IETF RFC 3060, February 2001.
20. N. Muruganantha and H. Lutfiyya. Policy specification and architecture for quality of service management. In Proc. of IFIP/IEEE International Symposium on Integrated Network Managemnt, March 2003.
21. H. Rueb and N. Shankar. Solving linear arithmetic constraints. Technical Report CSL-SRI-04-01, SRI International, Computer Science Laboratory, Menlo Park, CA 94025, January 2004.
22. M. D. Ryan. Defaults in specifications. In Proc. of IEEE International Symposium on Requirements Engineering, pages 142-149, 1993.