3 books in this genre
Grid computing security
Anirban Chakrabarti
Service-orientierte Architekturen
Volker Nissen
Formal methods for web services
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)
