Security for DAML Web Services: Annotation and Matchmaking

Grit Denker, Lalana Kagal, Tim Finin, Katia Sycara, Massimo Paoucci, Grit Denker, Lalana Kagal, Tim Finin, Katia Sycara, and Massimo Paolucci
September, 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.

Keywords
Carnegie Mellon University, Robotics Institute, Web, Semantic Web, DAML, DAML-S, DAML+OIL, DAML-S/UDDI, Matchmaker, Service

Notes
Sponsor: Air Force Research Laboratory
Grant ID: F30602-00-2-0592
Number of pages: 16
Note: Second International Semantic Web Conference

Text Reference
Grit Denker, Lalana Kagal, Tim Finin, Katia Sycara, Massimo Paoucci, Grit Denker, Lalana Kagal, Tim Finin, Katia Sycara, and Massimo Paolucci, "Security for DAML Web Services: Annotation and Matchmaking," September, 2003.

BibTeX Reference
@inproceedings{Sycara_2003_6316,
   author = "Grit Denker and Lalana Kagal and Tim Finin and Katia Sycara and Massimo Paoucci and Grit Denker and Lalana Kagal and Tim Finin and Katia Sycara and Massimo Paolucci",
   title = "Security for DAML Web Services: Annotation and Matchmaking",
   booktitle = "",
   publisher = "Springer Berlin / Heidelberg",
   address = "Springer Berlin / Heidelberg",
   month = "September",
   year = "2003",
   Notes = "Second International Semantic Web Conference "
}