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}
}