Verified Reference Implementations of WS-Security Protocols (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon
Reference:
Verified Reference Implementations of WS-Security Protocols (Karthikeyan Bhargavan, Cédric Fournet, 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},
pdf="pubs/verified-implementations-of-ws-star-wsfm06.pdf",
url="pubs/verified-implementations-of-ws-star-wsfm06.pdf",
}