Cloud#: A specification language for modeling cloud

Proceedings - 2011 IEEE 4th International Conference on Cloud Computing, CLOUD 2011

Volumn , Issue , 2011, Pages 533-540

  Liu, Dongxi ^a   Zic, John ^a  

^a CSIRO   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

CLOUD MODELS; CLOUD SERVICES; FAIR SCHEDULING; REMOTE ATTESTATION; RESOURCE VIRTUALIZATION;

DISTRIBUTED DATABASE SYSTEMS; SPECIFICATION LANGUAGES; SPECIFICATIONS; WEB SERVICES;

CLOUD COMPUTING;

EID: 80053145338     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CLOUD.2011.18     Document Type: Conference Paper

References (20)

1. Amazon Elastic Compute Cloud (EC2). http://aws.amazon.com/ec2/.
2. Amazon Elastic Compute Cloud (EC2) Documentation. http://aws.amazon.com/ documentation/ec2/.
3. Cloud computing. http://en.wikipedia.org/wiki/Cloud-computing.
4. A. M. Azab, P. Ning, Z. Wang, X. Jiang, X. Zhang, and N. C. Skalsky. Hypersentry: enabling stealthy in-context measurement of hypervisor integrity. In Proceedings of the 17th ACM conference on Computer and communications security, pages 38-49, 2010.
5. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of the nineteenth ACM symposium on Operating systems principles, 2003.
6. CircleID Reporter. Survey: Cloud computing 'no hype', but fear of security and control slowing adoption. http://www.circleid.com/posts/20090226- cloud-computing-hype-security, Feb. 2009.
7. S. Curry, J. Darbyshire, D. W. Fisher, B. Hartman, S. Herrod, V. Kumar, F. Martins, S. Orrin, and D. E. Wolf. Infrastructure security: Getting to the bottom of compliance in the cloud. In RSA Security Brief, 2010.
8. A. Datta, J. Franklin, D. Garg, and D. Kaynar. A logic of secure systems and its application to trusted computing. In IEEE Symposium on Security and Privacy, pages 221-236, 2009.
9. J. Franklin, S. Chaki, A. Datta, and A. Seshadri. Scalable parametric verification of secure systems: How to verify reference monitors without worrying about data structure size. In IEEE Symposium on Security and Privacy, pages 365-379, 2010.
10. A. Haeberlen. A case for the accountable cloud. SIGOPS Oper. Syst. Rev., 44:52-57, April 2010.
11. A. Haeberlen, P. Aditya, R. Rodrigues, and P. Druschel. Accountable virtual machines. In Proceedings of the 9th USENIX conference on Operating systems design and implementation, pages 1-16, 2010.
12. D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006.
13. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood. sel4: formal verification of an os kernel. In Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, pages 207-220, 2009.
14. R. Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
15. A.-R. Sadeghi and C. Stüble. Property-based attestation for computing platforms: caring about properties, not mechanisms. In Proceedings of the 2004 workshop on New security paradigms, pages 67-77, 2004. (Pubitemid 41832903)
16. N. Santos, K. P. Gummadi, and R. Rodrigues. Towards trusted cloud computing. In Proceedings of the 2009 conference on Hot topics in cloud computing, 2009.
17. J. Siméon and P. Wadler. The essence of xml. In Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 1-13, 2003.
18. Trusted Computing Group. http://www.trustedcomputinggroup.org/.
19. R. Wojtczuk and J. Rutkowska. Xen owning trilogy. In Black Hat conference, http://www.invisiblethingslab.com/bh08/, 2008.
20. Xen. http://www.xen.org/.