Logic-based management of security in web services

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

Volumn , Issue , 2007, Pages 228-235

  Tziviskou, Christina ^a   Di Nitto, Elisabetta ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; INFORMATION DISSEMINATION; LOGIC PROGRAMMING; SECURITY OF DATA; SPECIFICATIONS; WEB SERVICES;

BUSINESS PROCESSES; SENSITIVE DATA; XSB LOGIC PROGRAMMING LANGUAGE;

INFORMATION MANAGEMENT;

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

References (14)

1. A. Abdul-Rahman, and S. Hailes, "Supporting trust in virtual communities", in HICSS, 2000.
2. S. Bajaj, D. Box, D. Chappell, F. Curbera, G. Daniels, P. Hallam-Baker, M. Hondo, C. Kaler, D. Langworthy, A. Nadalin, N. Nagaratnam, H. Prafullchandra, C. von Riegen, D. Roth, J. Schlimmer, C. Sharp, J. Shewchuk, A. Vedamuthu, U. Yalcinalp, and D. Orchard, "Web Services Policy Framework", April 2006.
3. K. Bhargavan, C. Fournet, and A. D. Gordon, "Verifying Policy-Based Security for Web Services", ACM Conference on Computer and Communications Security, Washington, Oct 25-29, 2004, pp. 268-277.
4. M. Y. Becker, and P. Sewell, "Cassandra: distributed access control policies with tunable expressiveness", in 5th IEEE International Workshop on Policies for Distributed Systems and Networks, Yorktown Heights, June 2004.
5. A. Charfi, and M. Mezini, "Using Aspects for Security Engineering of Web Service Compositions", in Proceedings of the IEEE international Conference on Web Services, Washington, July 11-15, 2005.
6. G. Della-Libera, M. Gudgin, P. Hallam-Baker, M. Hondo, H. Granqvist, C. Kaler, H. Maruyama, M. Mcintosh, A. Nadalin, N. Nagaratnam, R. Philpott, H. Prafullchandra, J. Shewchuk, D. Walter, and R. Zolfonoon, "Web Services Security Policy Language", July 2005.
7. M. Mecella, M. Ouzzani, F. Paci, and E. Bertino, "Access Control Enforcement for Conversation-based Web Services", in World Wide Web Conference, Edinburgh, Scotland, May 23-26, 2006.
8. A. Nadalin, C. Kaler, R. Monzillo, and P. Hallam-Baker, "Web Services Security: SOAP Message Security", Feb. 2006.
9. W. Nejdl, D. Olmedilla, and M. Winslett, "PeerTrust: Automated Trust Negotiation for Peers on the Semantic Web", in Workshop on Secure Data Management in a Connected World, Toronto, 2004.
10. D. Pozza, R. Sisto, and L. Durante, "Spi2Java: automatic cryptographic protocol Java code generation from spi calculus", in International Conference on Advanced Information Networking and Applications (AINA), 2004.
11. K. Sagonas, T. Swift, D.S. Warren, J. Freire, and P. Rao, "The XSB programmer's manual, Version 2.2", at http://xsb.sourceforge.net, 2000.
12. W3C. SOAP version 1.2, 2003. W3C recommendation, at http://www.w3.org/ TR/soap12.
13. W3C. XML Encryption, at http://www.w3.org/TR/xmlenc-core/, Dec. 2002.
14. W3C. XML Signature, at http://www.w3.org/TR/xmldsig-core/, Feb. 2002.