Abstract :
We present a specification language Cloud# for modeling the internal organisation of cloud. By reasoning about cloud models, clients understand more on how services are delivered inside cloud. In this sense, cloud models make cloud services more transparent to clients. The transparency of cloud services are expected to increase the confidence of clients to move their business-critical applications to cloud. The expressiveness of Cloud# is evaluated by giving four cloud models, which demonstrate basic features of cloud computing, such as resource virtualization and air scheduling. We describe an application of Cloud# by building an architecture, in which Cloud# models are combined with remote attestation to deliver trusted services.
Keywords :
cloud computing; security of data; specification languages; business critical application; cloud computing; cloud modeling; cloud services; fair scheduling; internal organisation; resource visualization; specification language Cloud#; trusted cloud services; Argon; Cloud computing; Computational modeling; Monitoring; Resource management; Virtual machine monitors; Virtual machining; Cloud Model; Cloud computing; Trust;
