{"_id":"bXo4st6Lert5cwBgn","bibbaseid":"benattia-formalmodellingandverificationofsecuritypoliciesincloudcomputing-2019","author_short":["Benattia, H."],"bibdata":{"bibtype":"phdthesis","type":"PhD Thesis","title":"Formal Modelling and Verification of Security Policies in Cloud Computing","school":"Université Mohamed Khider-Biskra","author":[{"propositions":[],"lastnames":["Benattia"],"firstnames":["Hasiba"],"suffixes":[]}],"year":"2019","bibtex":"@phdthesis{benattia_formal_2019,\n\ttype = {{PhD} {Thesis}},\n\ttitle = {Formal {Modelling} and {Verification} of {Security} {Policies} in {Cloud} {Computing}},\n\tschool = {Université Mohamed Khider-Biskra},\n\tauthor = {Benattia, Hasiba},\n\tyear = {2019},\n}\n\n","author_short":["Benattia, H."],"key":"benattia_formal_2019","id":"benattia_formal_2019","bibbaseid":"benattia-formalmodellingandverificationofsecuritypoliciesincloudcomputing-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"phdthesis","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","modelling","verification","security","policies","cloud","computing","benattia"],"title":"Formal Modelling and Verification of Security Policies in Cloud Computing","year":2019}