A policy enforcement framework for verification and control of service collaboration

Information Systems and e-Business Management

Volumn 6, Issue 1, 2008, Pages 83-107

  Tsai, W T ^a   Zhou, Xinyu ^a   Wei, Xiao ^a  

^a ARIZONA STATE UNIVERSITY   (United States)

Author keywords

Dynamic collaboration; Policy enforcement; Runtime verification; Service Oriented Architecture

Indexed keywords

EID: 36749019202     PISSN: 16179846     EISSN: 16179854     Source Type: Journal    
DOI: 10.1007/s10257-007-0059-8     Document Type: Article

References (35)

1. Agrawal D, Giles J, Lee KW, Voruganti K, Filali-Adib K (2004) Policy-based validation of SAN configuration. In: Proceedings of 5th IEEE international workshop on policies for distributed systems and networks (POLICY'04), pp 77-86
2. Andersen AH (2004) An introduction to the Web services policy language (WSPL). In: Proceedings of 5th IEEE international workshop on policies for distributed systems and networks, POLICY 2004. Yorktown Heights, pp 189-192
3. Anderson A (2006) Web Services Policies. IEEE Secur Priv Mag 4(3):84-87
4. BizTalk Server Policy (2002) http://msdn.microsoft.com/library/ default.asp?url=/library/en-us/sdk/htm/ebiz_prog_rules_xxxf.asp
5. Chandramouli R (2003) a Policy validation framework for enterprise authorization specification. In: Proceedings of 19th annual computer security application conference, Las Vegas, USA, December 2003
6. Damianou N, Bandara A, Sloman M, Lupu E (2002) A survey of policy specification approaches, technical report, Department of Computing at Imperial College of Science Technology and Medicine
7. Goguen J, Meseguer J (1982) Security policies and security models. In: Proceedings of IEEE symposium on security and privacy, Oakland, USA, April 1982
8. Hirtle D, Boley H, Grosof B, Kifer M, Sintek M, Tabet S, Wagner G (2006) Schema specification of RuleML 0.91. http://www.ruleml.org/0.91/
9. Java Policy Implementation and Policy file Syntax (1996) http://java.sun.com/j2se/1.4.2/docs/guide/security/PolicyFiles.html
10. Kagal L, Berners-Lee T, Connolly D, Weitzner D (2006a) Self-describing delegation networks for the Web. In: Proceedings of 7th IEEE international workshop on policies for distributed systems and networks, London, pp 205-214
11. Kagal L, Berners-Lee T, Connolly D, Weitzner D (2006b) Using Semantic Web Technologies for Policy Management on the Web. In: Proceedings of 21st national conference on artificial intelligence (AAAI), Boston, USA
12. Kangasluoma V (1999) Policy specification languages, technical report. Department of Computer Science at Helsinki University of Technology, November
13. Kolovski V, Parsia B, Katz Y, Hendler J (2005) Representing Web service policies in OWL-DL. In: Proceedings of the 4th international semantic Web conference, ISWC 2005, Galway, pp 461-75
14. Locasto M, SPCL (2003) Structured Policy Command Language, technical report, Department of Computer Science at Columbia University, May
15. Lupu E, Sloman M (1999) Conflicts in Policy-Based Distributed System Management. IEEE Trans Softw Eng 25(6)
16. Lymberopoulos L, Lupu E, Sloman M (2003) An adaptive policy based framework for network services management. J Netw Syst Manage 11(3):277-304 (Special Issue on Policy Based Management)
17. McDaniel P, Prakash A (2003) A Flexible Architecture for Security Policy Enforcement. In: Proceedings of DARPA information survivability conference and exposition
18. Moore B, Ellesson E, Strassner J, Westerinen A (2001) Policy core information model - version 1 specification. IETF RFC 3060
19. OASIS, ebXML: http://www.ebxml.org/
20. OASIS (2005) XACML 2.0 Specification, http://www.oasis-open.org/specs/
21. Parsia B, Kolovski V, Hendler J (2005) Expressing WS Policies using OWL. In: Proceedings of policy management for the Web workshop, Chiba, pp 29-36
22. Patwardhan A, Korolev V, Kagal L, Joshi A (2004) Declarative policies for describing Web service capabilities and constraints. In: Proceedings of W3C workshop on constraints and capabilities for Web services, Redwood shores, USA
23. RuleML-powered Policy specification and interchange (2004) http://policy.ruleml.org/
24. Shafiq B, Masood A, Ghafoor A (2006) Policy-based verification of distributed workflows in a multi-domain environment, technical report, https://www.cerias.purdue.edu/tools_and_resources/bibtex_archive/ view_entry.php?bibtex_id=2969
25. Smith R (2001) Experimenting with Security Policy. In: Proceedings of DARPA information survivability conference and exposition
26. Tsai WT (2005) Service-oriented system engineering: A new paradigm. IEEE international workshop on service-oriented system engineering (SOSE), Beijing, pp 3-8
27. Tsai WT, Zhang D, Chen Y, Huang H, Paul R, Liao N (2004) A Software Reliability Model for Web services. In: The 8th IASTED international conference on software engineering and applications, Cambridge, pp 144-149
28. Tsai WT, Liu X, Chen Y (2005a) Distributed policy specification and enforcement in service-oriented business systems. In: Proceedings of the IEEE international conference on e-business engineering, Beijing, China, pp 10-17
29. Tsai WT, Wei X, Chen Y (2005b) A robust testing framework for verifying Web services by completeness and consistency analysis. In: IEEE international workshop on service-oriented system engineering (SOSE), Beijing, pp 151-158
30. Tsai WT, Chen Y, Paul R, Huang H, Zhou X, Wei X (2005c) Adaptive testing, Oracle generation, and test script ranking for Web services. In: 29th IEEE annual international computer software and applications conference (COMPSAC), Edinburgh, pp 101-106
31. Tsai WT, Chen Y, Paul R, Zhou X, Fan C (2006) Simulation verification and validation by dynamic policy specification and enforcement. SIMULATION. Trans Soc Model Simul 82(5):295-310
32. UDDI Version 3 Specification, available at http://uddi.org/pubs/ uddi_v3.htm
33. Web Services Policy 1.2 - Framework (WS-Policy) (2006) W3C member submission, 25 April 2006, available at http://www.w3.org/Submission/ 2006/06/
34. XACML-Based Web Services Policy Constraint Language (WS-PolicyConstraints), October 2005, available at http://research.sun.com/projects/xacml/
35. Xiao B, Tsai WT, Huang Q, Chen Y, Paul R (2006) SOA Collaboration Modeling, Analysis, and Simulation in PSML-C. In: Proceedings of the IEEE international conference on e-business engineering, Shangai, China, pp 639-646