Information flow control to secure dynamic web service composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3934 LNCS, Issue , 2006, Pages 196-210

  Hutter, Dieter ^a   Volkamer, Melanie ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT SENSITIVE LANGUAGES; DATA ACQUISITION; INFORMATION DISSEMINATION; INTELLIGENT AGENTS; SECURITY OF DATA;

CONFIDENTIAL DATA; DEGREE OF SECURITY; SOFTWARE ASSETS; WEB SERVICES;

WORLD WIDE WEB;

EID: 33745823075     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11734666_15     Document Type: Conference Paper

References (32)

1. Franz Baader, Ian Horrocks, and Ulrike Sattler. Description logics as ontology languages for the semantic web. In Dieter Hutter and Werner Stephan, editors, Mechanizing Mathematical Reasoning, Festschrift in Honor of J. H. Siekmann. Springer-Verlag, LNCS 2605, 2005.
2. D. E. Bell and L. LaPadula. Secure computer systems: Unified exposition and multics interpretation. Technical Report MTR-2997, MITRE, 1976.
3. V. Richard Benjamins, Enric Plaza, Enrico Motta, Dieter Fensel, Rudi Studer, Bob Wielinga, Guus Schreiber, and Zdenek Zdrahal. Ibrow3 - an intelligent brokering service for knowledge-component reuse on the world wide web. In 11th Knowledge Acquisition for Knowledge-Based System Workshop (KAW98), 1998.
4. T. Berners-Lee, J. Hendler, J., and O. Lassila. The semantic web. Scientific American, May 2001.
5. P.A. Bonatti, S. De Capitani di Vimercati, and P. Samarati. An algebra for composing access control policies. ACM Transactions on Information and System Security, 5(1):1-35, 2002.
6. J. Bryson, D. Martin, S.I. McIlraith, and L.A. Stein. Agent-based composite services in DAML-S: The behavior-oriented design of an intelligent semantic web. In Ning Zhong, Jiming Liu, and Yiyu Lao, editors, Web Intelligence. Springer Verlag, 2002.
7. DAML-S DARPA agent markup language for services, version 0.9. http://www.daml.org/services/daml-s/0.9/daml-s.html.
8. Naranker Dulay, Nicodemos Damianou, Emil Lupu, and Morris Sloman. A policy language for the management of distributed agents. In Agent Oriented Software Engineering, AOSE, pages 84-100. Springer, 2001.
9. J. A. Goguen and J. Meseguer. Security Policies and Security Models. In Proceedings of the IEEE Symposium on Security and Privacy, pages 11-20, Oakland, CA, USA, 1982.
10. J. A. Goguen and J. Meseguer. Inference Control and Unwinding. In Proceedings of the IEEE Symposium on Security and Privacy, pages 75-86, Oakland, CA, USA, 1984.
11. IBM and Microsoft. Security in a Web Service World: A proposed architecture and roadmap. www-106.ibm.com/developerworks/webservices/library/ws-secmap, April 2002.
12. L. Kagal, T. Finin, and A. Joshi. Trust based security for pervasive computing enviroments. IEEE Computer, 24(12):154-157, December 2001.
13. L. Kagal, T. Finin, and A. Joshi. Developing secure agent systems using delegation based trust management. In K. Fischer and D. Hutter, editors, Security of Mobile MultiAgent Systems (SEMAS 02) held at Autonomous Agents and MultiAgent Systems (AAMAS 02), 2002.
14. M. Klusch, A. Gerber, and M. Schmidt. Semantic web service composition planning with owls-xplan. 1st Intl. AAAI Fall Symposium on Agents and the Semantic Web, 2005.
15. D. Davide Lamanna, James Skene, and Wolfgang Emmerich. Slang: A language for defining service level agreements. In IEEE Workshop on Future Trends of Distributed Computing Systems, FTDCS, pages 100-, 2003.
16. H. Mantel. Possibilistic Definitions of Security - An Assembly Kit. In Proceedings of the IEEE Computer Security Foundations Workshop, pages 185-199, Cambridge, UK, 2000.
17. J. D. McLean. Proving Noninterference and Functional Correctness using Traces. Journal of Computer Security, 1(1):37-57, 1992.
18. J.D. McLean. A general theory of composition for trace sets closed under selective interleaving functions. In Proceedings of IEEE Symposium on Security and Privacy. IEEE Computer Society, 1994.
19. OWL ontology web language, w3c standard technical recommendation, http://www.w3.org/TR/2003/WD-owl-ref-20030331/.
20. Anand Patwardhan, Vlad Korolev, Lalana Kagal, and Anupam Joshi. Enforcing policies in pervasive environments. In MobiQuitous, pages 299-308, 2004.
21. Joachim Peer. Web service composition as ai planning - a survey. Technical report, University of St. Gallen, March 2005.
22. S.D. Ramchurn, D. Huynh, and N.R. Jennings. Trust in multi-agent systems. The Knowledge Engineering Review, 19(1):1-25, 2004.
23. A. Sabelfeld and A.C. Myers. Language-based information-flow security. IEEE Journal on Selected Areas in Communications, 21(1), 2003.
24. M. Sheshagiri, M. desJardins, and T. Finin. A planner for composing services described in DAML-S. In Proceedings of AAMAS 2003 Workshop on Web Services and Agent-Based Engineering, 2003.
25. Geoffrey Smith and Dennis Volpano. Secure information flow in a multi-threaded imperative language. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pages 355-364, New York, NY, 1998.
26. William H. Stufflebeam, Annie I. Antón, Qingfeng He, and Neha Jain. Specifying privacy policies with p3p and epal: lessons learned. In Workshop on Privacy in the Electronic Society, WPES, page 35, 2004.
27. Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers, Austin Tate, and Jeff Dalton. Applying kaos services to ensure policy compliance for semantic web services workflow composition and enactment. In International Semantic Web Conference, pages 425-440, 2004.
28. Dennis M. Volpano and Geoffrey Smith. A sound type system for secure flow analysis. Journal of Computer Security, 4(3):167-187, 1996.
29. Dennis M. Volpano and Geoffrey Smith. A type-based approach to program security. In TAPSOFT, pages 607-621, 1997.
30. R. Waldinger. Deductive composition of web software agents. In NASA Workshop on Formal Approaches to Agent-Based Systems. Springer-Verlag, LNCS 1871, 2000.
31. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S web services composition using SHOP2. In Proceedings of the 2nd International Semantic Web Conference (ISWC2003), pages 20-23, Sanibel Island, Florida, USA, October 2003.
32. A. Zakinthinos and E. S. Lee. A General Theory of Security Properties. In Proceedings of the IEEE Symposium on Security and Privacy, pages 94-102, Oakland, CA, USA, 1997.