Journal article icon

Journal article

On the Relationship Between Web Services Security and Traditional Protocols

Abstract:

XML and Web Services security specifications define elements to incorporate security tokens within a SOAP message. We propose a method for mapping such messages to an abstract syntax in the style of Dolev-Yao, and in particular Casper notation. We show that this translation preserves flaws and attacks. Therefore we provide a way for all the methods, and specifically Casper and FDR, that have been developed in the last decade by the theoretical community for the analysis of cryptographic proto...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2005.11.074

Authors


Kleiner, E More by this author
Roscoe, AW More by this author
More by this author
Institution:
University of Oxford
More by this author
Institution:
University of Oxford
Publisher:
Elsevier B.V. Publisher's website
Journal:
Electronic Notes in Theoretical Computer Science Journal website
Volume:
155
Issue:
1 SPEC. ISS.
Pages:
583-603
Publication date:
2006-05-12
DOI:
ISSN:
1571-0661
URN:
uuid:8528f0a5-1885-4e8f-b2f4-330d09bfce5d
Source identifiers:
284302
Local pid:
pubs:284302

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP