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]
Abstract is missing.