Security for DAML Web Services: Annotation and Matchmaking - Robotics Institute Carnegie Mellon University

Security for DAML Web Services: Annotation and Matchmaking

Grit Denker, Lalana Kagal, Tim Finin, Katia Sycara, and Massimo Paoucci
Conference Paper, Proceedings of 2nd International Semantic Web Conference (ISWC '03), pp. 335 - 350, October, 2003

Abstract

In the next generation of the Internet semantic annotations will enable software agents to extract and interpret web content more quickly than it is possible with current techniques. The focus of this paper is to develop security annotations for web services that are represented in DAML-S and used by agents. We propose several security-related ontologies that are designed to represent well-known security concepts. These ontologies are used to describe the security requirements and capabilities of web services providers and requesting agents. A reasoning engine decides whether agents and web service have comparable security characteristics. Our prototypical implementation uses the Java Theorem Prover from Stanford for deciding the degree to which the requirements and capabilities match based on our matching algorithm. The security reasoner is integrated with the Semantic Matchmaker from CMU giving it the ability to provide security brokering between agents and services.

Notes
Second International Semantic Web Conference

BibTeX

@conference{Denker-2003-8761,
author = {Grit Denker and Lalana Kagal and Tim Finin and Katia Sycara and Massimo Paoucci},
title = {Security for DAML Web Services: Annotation and Matchmaking},
booktitle = {Proceedings of 2nd International Semantic Web Conference (ISWC '03)},
year = {2003},
month = {October},
pages = {335 - 350},
publisher = {Springer Berlin / Heidelberg},
address = {Springer Berlin / Heidelberg},
keywords = {Carnegie Mellon University, Robotics Institute, Web, Semantic Web, DAML, DAML-S, DAML+OIL, DAML-S/UDDI, Matchmaker, Service},
}