EXPRESSING CLOUD SECURITY REQUIREMENTS IN DEONTIC CONTRACT LANGUAGES In Proceedings of the 2nd International Conference on Cloud Computing and Services Science - Volume 1: CloudSecGov, 638-646, 2012 , Porto, Portugal