Massimo Bartoletti Pierpaolo Degano Gian Luigi Ferrari Roberto Zunino Semantics-Based Design for Secure Web Services. 33-49 2008 34 IEEE Trans. Software Eng. 1 http://doi.ieeecomputersociety.org/10.1109/TSE.2007.70740 db/journals/tse/tse34.html#BartolettiDFZ08