@INPROCEEDINGS{6686021,
author={Waheed Aslam Ghumman and Joerg Laessig},
booktitle={Cloud and Green Computing (CGC), 2013 Third International
Conference on},
title={Verification Requirements for Secure and Reliable Cloud Computing},
year={2013},
month={Sept},
pages={143-150},
keywords={business data processing;cloud computing;contracts;formal
verification;security of data;service-oriented
architecture;SLA;architecture model;business model;distributed
computing;distributed system validation;distributed system
verification;programming model;secure-reliable cloud computing;security
model;service level agreements;verification architecture;verification
model;verification requirements;Business;Cloud computing;Computational
modeling;Computers;Programming;Security;Cloud computing;service level
agreements;verification requirements},
publisher={IEEE Computer Society},
address={Los Alamitos, CA, USA},
doi={10.1109/CGC.2013.29},}