CERTICLOUD, une plate-forme Cloud IaaS sécurisée

Abstract

Resume La securite des Clouds est un aspect essentiel qui n’est pas forcement aborde selon le point de vue de l’utilisateur. En particulier, sur une plate-forme de type Infrastructure-as-a-Service (IaaS), il est actuellement impossible pour un utilisateur de certifier de maniere fiable et securisee que l’environnement qu’il a deploye (typiquement sous forme d’une machine virtuelle) est toujours dans un etat qu’il juge integre et operationnel. Cet article s’attelle a cette tâche en proposant CertiCloud, une plate-forme Cloud de type IaaS qui exploite les concepts developpes dans le cadre du Trusted Computing Group (TCG) mais aussi les elements materiels que sont les Trusted Platform Module (TPM) pour offrir a l’utilisateur un environnement securise et securisant. Ces deux aspects sont garantis par les deux protocoles TCRR (TPM-based Certification of a Remote Resource) et VerifyMyVM qui sont a la base de CertiCloud. Quand le premier permet de certifier l’integrite d’une machine distante et d’echanger une clef de chiffrement symetrique, le second permet a l’utilisateur de s’assurer dynamiquement et a la demande de l’integrite de sa machine virtuelle executee sur les ressources de CertiCloud. Ces deux protocoles etant les briques de base de notre plate-forme, une attention toute particuliere a ete apportee a leurs elaborations. A cet effet, ils ont ete valides avec succes par AVISPA [1] et Scyther [9], deux outils de reference dans le domaine de la verification automatique des protocoles de securite (cette analyse est presentee dans cet article). Ensuite, la plate-forme CertiCloud est detaillee : outre les protocoles TCRR et VerifyMyVM, elle propose le stockage securise des environnements utilisateurs et leurs executions a travers un framework de virtualisation reprenant l’hyperviseur Xen. Quand les ressources physiques sont certifiees par TCRR, l’utilisateur peut utiliser a la demande le protocole VerifyMyVM pour s’assurer de l’integrite de son environnement deploye. Un prototype de CertiCloud a ete realise et nous presentons les premiers resultats experimentaux qui demontrent de la faisabilite et du faible surcout de notre approche sur des scenarios classiquement rencontres sur les infrastructures Cloud de type IaaS.