Benattia, Hasiba (2019) Formal Modelling and Verification of Security Policies in Cloud Computing. Doctoral thesis, Université Mohamed Khider - Biskra.