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},
  ee        = {http://dx.doi.org/10.1007/11841197_6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser