Ronan-Alexandre Cherrueau. Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage. (A Compositional Language of Security Techniques for Information Privacy in the Cloud). PhD thesis, École des mines de Nantes, France, 2016. [doi]
Abstract is missing.