@Inproceedings{EPTCS271.6, author = {Rauf, Irum and Troubitsyna, Elena}, year = {2018}, title = {Securing Open Source Clouds Using Models}, editor = {Laleau, R\'egine and M\'ery, Dominique and Nakajima, Shin and Troubitsyna, Elena}, booktitle = {{\rm Proceedings Joint Workshop on} Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) {\rm and} Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM\&MDD), {\rm Xi'An, China, 16th November 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {271}, publisher = {Open Publishing Association}, pages = {80-94}, doi = {10.4204/EPTCS.271.6}, }