Secure and Trustworthy Service Composition : The Aniketos Approach - Brucker, Achim D. (edición) ((Lecture Notes in Computer Science ;)