Skip to main content
Article thumbnail
Location of Repository

Web services security: A preliminary study using Casper and FDR

By E. Kleiner and A. W. Roscoe

Abstract

Web Services is an important new XML-based architecture in which security is increasingly important. The WS-Security specification defines mechanisms for securing the SOAP messages. We show how those messages can be mapped to Casper notation and therefore be analysed with FDR. We show two attacks on proposed protocols and lastly discuss informally some ramifications of the use of the WS-Security specification.

Year: 2004
OAI identifier: oai:CiteSeerX.psu:10.1.1.161.9017
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://web.comlab.ox.ac.uk/ouc... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.