Béla Genge Piroska Haller Ovidiu Ratoi Constructing Security Protocol Specifications for Web Services. 245-250 2008 IDC http://dx.doi.org/10.1007/978-3-540-85257-5_25 conf/idc/2008 db/conf/idc/idc2008.html#BelaPR08