Security for DAML Web Services: Annotation and Matchmaking

Grit Denker (SRI International)

Lalana Kagal (University of Maryland Baltimore County)

Tim Finin (University of Maryland Baltimore County)

Massimo Paolucci (Carnegie Mellon University)

Katia Sycara (Carnegie Mellon University)

In Proc. 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, October 20-23, 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.