Verified Reference Implementations of WS-Security Protocols (bibtex)

by Karthikeyan Bhargavan, Cédric Fournet and Andrew D. Gordon

Reference:

Verified Reference Implementations of WS-Security Protocols (Karthikeyan Bhargavan, Cédric Fournet and Andrew D. Gordon), In Third International Workshop on Web Services and Formal Methods, 2006.

Bibtex Entry:

@inproceedings{BhargavanFG06,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Andrew D. Gordon},
  title     = {Verified Reference Implementations of WS-Security Protocols},
  booktitle = {Third International Workshop on Web Services and Formal Methods},
  year      = {2006},
  pages     = {88-106},
  ee        = {http://dx.doi.org/10.1007/11841197_6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}