Stephen Gilmore, Valentin Haenel, Leïla Kloul, Monika Maidl. Choreographing Security and Performance Analysis for Web Services. In Mario Bravetti, Leïla Kloul, Gianluigi Zavattaro, editors, Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Volume 3670 of Lecture Notes in Computer Science, pages 200-214, Springer, 2005. [doi]
@inproceedings{GilmoreHKM05,
title = {Choreographing Security and Performance Analysis for Web Services},
author = {Stephen Gilmore and Valentin Haenel and Leïla Kloul and Monika Maidl},
year = {2005},
doi = {10.1007/11549970_15},
url = {http://dx.doi.org/10.1007/11549970_15},
tags = {web service, analysis, security, web services},
researchr = {https://researchr.org/publication/GilmoreHKM05},
cites = {0},
citedby = {0},
pages = {200-214},
booktitle = {Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings},
editor = {Mario Bravetti and Leïla Kloul and Gianluigi Zavattaro},
volume = {3670},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-28701-9},
}