On the Relationship Between Web Services Security and Traditional Protocols

@article{Kleiner2006OnTR,
  title={On the Relationship Between Web Services Security and Traditional Protocols},
  author={E. Kleiner and A. W. Roscoe},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2006},
  volume={155},
  pages={583-603}
}
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… CONTINUE READING
Highly Cited
This paper has 193 citations. REVIEW CITATIONS

Topics

Statistics

050'05'07'09'11'13'15'17
Citations per Year

194 Citations

Semantic Scholar estimates that this publication has 194 citations based on the available data.

See our FAQ for additional information.