@article{GH2009towards,
  abstract = {Existing solutions for authentication and authorization in
Web services make use of technologies such as SAML or WS-Security. These provide a static solution by using a set of predefined protocols. We propose a semantic security protocol model from which security protocol specifications are generated and automatically executed by participants. The proposed model consists of a sequential component, implemented as a WSDL-S specification, and an ontology component, implemented as an
OWL specification. The correctness of the proposed model is ensured by using a set of rules and algorithms for generating it based on a protocol model given by the user.We validate our approach by generating and implementing several specifications for existing protocols such as ISO9798 or Kerberos protocols.},
  added-at = {2009-09-01T14:16:01.000+0200},
  author = {Genge, Bela and Haller, Piroska},
  biburl = {http://www.bibsonomy.org/bibtex/2da465a52975a7ce22a9ed9e135e7bf2a/bgenge%40engineering.upm.ro},
  booktitle = {Networking 2009},
  interhash = {4c9a370acbdd4c4ee67944df6cb8036e},
  intrahash = {da465a52975a7ce22a9ed9e135e7bf2a},
  issn = {1611-3349},
  journal = {Lecture Notes in Computer Science},
  keywords = {imported},
  pages = {943--954},
  publisher = {Springer-Verlag},
  timestamp = {2009-09-01T14:16:01.000+0200},
  title = {Towards Automated Secure Web Service Execution},
  volume = 5550,
  year = 2009
}