Verification of access control requirements in web services choreography

Proceedings - 2008 IEEE International Conference on Services Computing, SCC 2008

Volumn 1, Issue , 2008, Pages 5-12

  Paci, Federica ^a   Ouzzani, Mourad ^a   Mecella, Massimo ^b  

^a PURDUE UNIVERSITY   (United States)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; COMPUTER NETWORKS; GRAPH THEORY; SECURITY SYSTEMS; WORLD WIDE WEB;

WEB SERVICES;

INFORMATION SERVICES;

EID: 51749118702     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2008.116     Document Type: Conference Paper

References (10)

1. Ardagna, C., Damiani, E., De Capitani di Vimercati, S., and Samarati,P. A Web Service Architecture for enforcing access control policies. In Proc. 1st International Workshop on Views on Designing Complex Architectures, Bertinoro, Italy, September 2004.
2. Benatallah, B., Casati, F., and Toumani, F. Web service conversation modeling: A cornerstone for e-business automation. IEEE Internet Computing 8, 1, 46-54.
3. Berardi, D., Calvanese, D., De Giacomo, G, Mecella, M. Composition of Serviceswith Nondeterministic Observable Behavior. In Proc. Third International Conference on Service Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands, December 12-15, 2005.
4. Busi,N., Gorrieri,R., Guidi,C., Lucchi,R. and Zavattaro, G. Choreography and Orchestration Conformance for System Design. In Proc. of 8th International Conference on Coordination Models and Languages, 2006.
5. Foster, H., Uchitel, S., Magee, J., Kramer, J. WS-Engineer: A Rigorous Approach to Engineering Web Service Compositions and Choreography. In Proc. of XML 2006 Conference, Boston, USA, December, 2006.
6. Kavantzas, N. at al. Web Services Choreography Description Language Version 1.0, W3C Candidate Recommendation, 2005. Online at: http://www.w3.org/ TR/ws-cdl-10/.
7. Kazhamiakin, R., Pistore, M. Choreography conformance analysis:asynchronous communications and information alignment. In Proc. of Web Services and Formal Methods, Third International Workshop, WS-FM, 2006.
8. Mecella, M., Ouzzani, M., Paci, F., Bertino, E. Access Control for Conversation-based Web services. In Proc. of 15 International World Wide Web Conference (WWW 2006), Edinburgh, Scotland, UK, May 2006.
9. Namli, T., Dogac, A. Using SAML and XACML for Web Service Security & Privacy. A Chapter Proposal, 2007.
10. Robinson, P., Kerschbaum, F., Schaad, A.: From Business Process Choreography to Authorization Policies. In Proceedings of 20th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Sophia Antipolis, France, July 31-August 2, 2006.