Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon. Verified Reference Implementations of WS-Security Protocols. In Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro, editors, Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings. Volume 4184 of Lecture Notes in Computer Science, pages 88-106, Springer, 2006. [doi]
@inproceedings{BhargavanFG06, title = {Verified Reference Implementations of WS-Security Protocols}, author = {Karthikeyan Bhargavan and Cédric Fournet and Andrew D. Gordon}, year = {2006}, doi = {10.1007/11841197_6}, url = {http://dx.doi.org/10.1007/11841197_6}, tags = {protocol, security}, researchr = {https://researchr.org/publication/BhargavanFG06}, cites = {0}, citedby = {0}, pages = {88-106}, booktitle = {Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings}, editor = {Mario Bravetti and Manuel Núñez and Gianluigi Zavattaro}, volume = {4184}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-38862-1}, }