Access Control and Security Properties Requirements Specification for Clouds' SecLAs. - Asma Guesmi; Patrice Clemente (CloudCom (1), 2013)

Cloud Resources Placement based on Functional and Non-functional Requirements. - Asma Guesmi; Patrice Clemente; Frédéric Loulergue; Pascal Berthomé (SECRYPT, 2015)

Spécification et analyse formelles des politiques de sécurité dans un processus de courtage de l'informatique en nuage. (Formal specification and analysis of security policies in a cloud brokerage process). - Asma Guesmi (2016)