Yosr Jarraya, Arash Eghtesadi, Mourad Debbabi, Ying Zhang, Makan Pourzandi. Cloud calculus: Security verification in elastic cloud computing platform. In Waleed W. Smari, Geoffrey Charles Fox, editors, 2012 International Conference on Collaboration Technologies and Systems, CTS 2012, Denver, CO, USA, May 21-25, 2012. pages 447-454, IEEE, 2012. [doi]
@inproceedings{JarrayaEDZP12, title = {Cloud calculus: Security verification in elastic cloud computing platform}, author = {Yosr Jarraya and Arash Eghtesadi and Mourad Debbabi and Ying Zhang and Makan Pourzandi}, year = {2012}, doi = {10.1109/CTS.2012.6261089}, url = {http://dx.doi.org/10.1109/CTS.2012.6261089}, researchr = {https://researchr.org/publication/JarrayaEDZP12}, cites = {0}, citedby = {0}, pages = {447-454}, booktitle = {2012 International Conference on Collaboration Technologies and Systems, CTS 2012, Denver, CO, USA, May 21-25, 2012}, editor = {Waleed W. Smari and Geoffrey Charles Fox}, publisher = {IEEE}, isbn = {978-1-4673-1381-0}, }