Verification requirements for secure and reliable cloud computing

Proceedings - 2013 IEEE 3rd International Conference on Cloud and Green Computing, CGC 2013 and 2013 IEEE 3rd International Conference on Social Computing and Its Applications, SCA 2013

Volumn , Issue , 2013, Pages 143-150

  Ghumman, Waheed Aslam ^a   Lässig, Jörg ^a  

^a UNIVERSITY OF APPLIED SCIENCES   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE MODELS; BUSINESS MODELS; DISTRIBUTED SYSTEMS; PROGRAMMING MODELS; SECURITY AND RELIABILITIES; SERVICE LEVEL AGREEMENT (SLAS); VERIFICATION MODEL; VERIFICATION PROCESS;

CLOUD COMPUTING; NETWORK SECURITY;

COMPUTER SYSTEMS;

EID: 84893298326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGC.2013.29     Document Type: Conference Paper

References (24)

1. L. Youseff, M. Butrico, and D. Da Silva, "Toward a unified ontology of cloud computing," in Grid Computing Environments Workshop, 2008, pp. 1-10.
2. J. Zou, Y. Wang, and K.-J. Lin, "A formal service contract model for accountable saas and cloud services," in IEEE International Conference on Services Computing, 2010, pp. 73-80.
3. Q. Wang, C. Wang, J. Li, K. Ren, and W. Lou, "Enabling public verifiability and data dynamics for storage security in cloud computing," in Computer Security ESORICS, ser. Lecture Notes in Computer Science, 2009, vol. 5789, pp. 355-370.
4. R. Mateescu and S. Rampacek, "Formal Modeling and Discrete-Time Analysis of BPEL Web Services," International Journal of Simulation and Process Modelling, Vol. 10, 2008.
5. M. Balduzzi, J. Zaddach, D. Balzarotti, E. Kirda, and S. Loureiro, "A security analysis of amazon's elastic compute cloud service," in Proceedings of the 27th Annual ACM Symposium on Applied Computing, 2012, pp. 1427-1434.
6. P. Bjesse, "What is formal verification?" ACM SIGDA Newsletter, Vol. 35, no. 24, 2005.
7. G. Holzmann, "The model checker spin," IEEE Transactions on Software Engineering, Vol. 23, no. 5, 1997.
8. K. L. McMillan, Symbolic Model Checking. Norwell, MA, USA: Kluwer Academic Publishers, 1993.
9. S. Bouchenak, G. Chockler, H. Chockler, G. Gheorghe, N. Santos, and A. Shraer, "Verifying cloud services: present and future," SIGOPS Operating System Review, Vol. 47, no. 2, 2013.
10. W. Voorsluys, J. Broberg, and R. Buyya, Introduction to Cloud Computing. John Wiley & Sons, Inc., 2011, pp. 1-41.
11. I. Gallegos, O. Ochoa, A. Q. Gates, S. Roach, S. Salamah, and C. Vela, "A property specification tool for generating formal specifications: Prospec 2.0." in SEKE. Knowledge Systems Institute Graduate School, 2008, pp. 273-278.
12. S. C. lawrence M. Walsh, Frank Hughes, "Cloud computing business models for the channel," White paper, Comptia, 2010.
13. I. Foster, Y Zhao, I. Raicu, and S. Lu, "Cloud computing and grid computing 360-degree compared," in Grid Computing Environments Workshop, 2008, pp. 1-10.
14. V Sarathy, P. Narayan, and R. Mikkilineni, "Next generation cloud computing architecture: Enabling real-time dynamism for shared distributed physical infrastructure," in Proceedings of the 19th IEEE International Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2010, pp. 48-53.
15. R. Buyya, C. S. Yeo, S. Venugopal, J. Broberg, and I. Brandie, "Cloud computing and emerging it platforms: Vision, hype, and reality for delivering computing as the 5th utility," Future Gener. Comput. Syst., Vol. 25, no. 6, pp. 599-616, 2009.
16. M. P. Forum, "Mpi: A message-passing interface standard," Knoxville, TN, USA, Tech. Rep., 1994.
17. H. El-Rewini and M. Abd-El-Barr, Advanced Computer Architecture and Parallel Processing, A. Zomaya, Ed. Wiley Series on Parallel and Distributed Computing, 2005.
18. J. E. White, "A high-level framework for network-based resource sharing," in Proceedings of the National Computer Conference and Exposition, ser. AFIPS '76, 1976, pp. 561-570.
19. J. Dean and S. Ghemawat, "Mapreduce: simplified data processing on large clusters," Commun. ACM, Vol. 51, no. 1, pp. 107-113, 2008.
20. I. K. Georgiev and I. I. Georgiev, "A security model for distributed computing," Journal of Computing Sciences in Colleges, Vol. 17, no. 1, 2001.
21. M. D. Y. Z. Y. Jarraya, A. Eghtesadi and M. Pourzandi, "Cloud calculus: Security verification in elastic cloud computing platform," in International Symposium on Security in Collaboration Technologies and Systems, 2012, pp. 447-454.
22. T. Ries, V Fusenig, C. Vilbois, and T. Engel, "Verification of data location in cloud networking," in Fourth IEEE International Conference on Utility and Cloud Computing, 2011, pp. 439-444.
23. A. Shraer, C. Cachin, A. Cidon, I. Keidar, Y Michalevsky, and D. Shaket, "Venus: verification for untrusted cloud storage," in Proceedings of the 2010 ACM workshop on Cloud computing security workshop, ser. CCSW '10. ACM, 2010, pp. 19-30.
24. W. A. Ghumman and J. Lässig, "Analysis of verification requirements in cloud computing," in 14. Nachwuchswissenschaftlerkonferenz, Brandenburg, Germany, 2013, pp. 139-144.