1. Cloud cryptography group at Microsoft Research, http://research.microsoft.com/en-us/projects/cryptocloud/
2. UDDI technical white paper. Tech. rep., W3C (2000)
3. eXtensible Access Control Markup Language (XACML) Version 2.0. Tech. rep., OASIS (2005)
4. The future of cloud computing. Tech. rep., European Commision, Information Society and Media (2010)
5. Achermann, F., Lumpe, M., Schneider, J., Nierstrasz, O.: PICCOLA—a small composition language. In: Formal Methods for Distributed Processing, pp. 403–426. Cambridge University Press (2001)