Gilmore, et al.. Choreographing Security and Performance Analysis for Web Services. Springer Berlin Heidelberg, 2005, doi:10.1007/11549970_15.