<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of tel-03616187</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-16T19:44:36+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution</title>
            <title xml:lang="fr">Méthodes formelles et Sécurité en informatique en nuages</title>
            <author role="aut">
              <persName>
                <forename type="first">Salwa</forename>
                <surname>Souaf</surname>
              </persName>
              <idno type="halauthorid">1672207-0</idno>
              <affiliation ref="#struct-405484"/>
              <affiliation ref="#struct-1082343"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Pascal</forename>
                <surname>Berthomé</surname>
              </persName>
              <email type="md5">f019ccec62aa7d3f391520465af61017</email>
              <email type="domain">insa-cvl.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-03-22 11:42:13</date>
              <date type="whenModified">2022-03-29 03:42:24</date>
              <date type="whenReleased">2022-03-28 16:25:55</date>
              <date type="whenProduced">2020-12-15</date>
              <date type="whenEndEmbargoed">2022-03-22</date>
              <ref type="file" target="https://theses.hal.science/tel-03616187v1/document">
                <date notBefore="2022-03-22"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://theses.hal.science/tel-03616187v1/file/106704_SOUAF_2020_archivage.pdf" id="file-3616187-3160765">
                <date notBefore="2022-03-22"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="600356">
                <persName>
                  <forename>Pascal</forename>
                  <surname>Berthomé</surname>
                </persName>
                <email type="md5">f019ccec62aa7d3f391520465af61017</email>
                <email type="domain">insa-cvl.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-03616187</idno>
            <idno type="halUri">https://theses.hal.science/tel-03616187</idno>
            <idno type="halBibtex">souaf:tel-03616187</idno>
            <idno type="halRefHtml">Computer Science [cs]. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire, 2020. English. &lt;a target="_blank" href="https://www.theses.fr/"&gt;&amp;#x27E8;NNT : &amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Computer Science [cs]. INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire, 2020. English. &amp;#x27E8;NNT : &amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-3616187-3160765"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ORLEANS">Université d'Orléans</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="THESES-UO" corresp="UNIV-ORLEANS">Thèses de l'Université d'Orléans</idno>
            <idno type="stamp" n="INSA-CVL">INSA CENTRE VAL DE LOIRE</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Formal Methods meet Security in a Cost Aware Cloud Brokerage Solution</title>
                <title xml:lang="fr">Méthodes formelles et Sécurité en informatique en nuages</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Salwa</forename>
                    <surname>Souaf</surname>
                  </persName>
                  <idno type="halauthorid">1672207-0</idno>
                  <affiliation ref="#struct-405484"/>
                  <affiliation ref="#struct-1082343"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="dateDefended">2020-12-15</date>
                </imprint>
                <authority type="institution">INSA CVL - Institut National des Sciences Appliquées - Centre Val de Loire</authority>
                <authority type="supervisor">Berthomé Pascal</authority>
                <authority type="supervisor">Loulergue Frédéric</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">loud Computing</term>
                <term xml:lang="en">Security</term>
                <term xml:lang="en">Formal Methods</term>
                <term xml:lang="en">Cloud Brokerage</term>
                <term xml:lang="en">Linear Programming</term>
                <term xml:lang="fr">informatique en nuages</term>
                <term xml:lang="fr">programmation linéaire</term>
                <term xml:lang="fr">courtage infonuagique</term>
                <term xml:lang="fr">méthodes formelles</term>
                <term xml:lang="fr">sécurité</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="THESE">Theses</classCode>
              <classCode scheme="halOldTypology" n="THESE">Theses</classCode>
              <classCode scheme="halTreeTypology" n="THESE">Theses</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>With the growth of Cloud Computing comes the growth of the number of companies offering different cloud services, which day after another causes overwhelming of the consumers. Many researchers have been conducted in order to assist consumers in the process of choosing the right provider based on several properties, but not many of them have succeeded in integrating the security aspect. We suggest a third party, namely Cloud Broket, that will intermediate the relation between cloud customers and providers. The broker will guide the customer through the whole process of integrating the Cloud. Our broker finds a cost efficient placement strategy while taking into consideration the functional and non-functional requirements of the customer. We use formal methods to verify the consistency of the customer's demand, matching techniques and linear modeling to find the appropriate placement in a federation of Clouds. In this thesis will be presented the full creation and thought process behind this brokerage solution, limitations encountered and solutions proposed.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Avec la demande croissante sur les ressources Cloud, vient l'augmentation du nombre de fournisseurs de services Cloud. Ce qui rend le processus de choix entre les différents fournisseurs et offres difficile pour les clients potentiels. Le courtier Cloud proposé, est une entité tierce qui est intermédiaire dans la relation entre les clients et les fournisseurs Cloud. Le courtier guidera le client tout au long du processus d'intégration du Cloud. Notre courtier prend en considération les exigences fonctionnelles (c'est-à-dire la quantité et la description des ressources) et non fonctionnelles (c'est-à-dire les propriétés de sécurité) du client dès le premier contact. Après avoir reçu la description de la demande du client, notre courtier commence par vérifier sa cohérence et renvoie un contre-exemple en cas d'incohérences. Nous utilisons des méthodes formelles couplées avec de la programmation linéaire pour vérifier la consistance et trouver le placement approprié dans une fédération de Clouds. Après avoir communiqué l'emplacement trouvé,s'il en existe un, au client, ce dernier décidera soit d'accepter cette offre ou pas. Une fois que le courtier reçoit la confirmation du client, le modèle sera prêt pour le déploiement.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-405484" status="VALID">
          <orgName>Sécurité des Données et des Systèmes</orgName>
          <orgName type="acronym">SDS</orgName>
          <date type="start">2006-01-01</date>
          <desc>
            <address>
              <addrLine>Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2 ; INSA CVL, 8 boulevard Lahitolle, CS 600013 – 18022 Bourges CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-orleans.fr/lifo/equipe.php?id=4&amp;lang=fr&amp;sub=sub1</ref>
          </desc>
          <listRelation>
            <relation active="#struct-241078" type="direct"/>
            <relation name="EA 4022" active="#struct-300297" type="indirect"/>
            <relation name="EA 4022" active="#struct-303079" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-1082343" status="VALID">
          <orgName>Langages, Modèles et Vérification</orgName>
          <orgName type="acronym">LMV</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Laboratoire d'Informatique Fondamentale d'Orléans, Université d'Orléans, Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-orleans.fr/lifo/equipe.php?id=5&amp;lang=fr&amp;sub=sub1</ref>
          </desc>
          <listRelation>
            <relation active="#struct-241078" type="direct"/>
            <relation name="EA 4022" active="#struct-300297" type="indirect"/>
            <relation name="EA 4022" active="#struct-303079" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-241078" status="VALID">
          <idno type="IdRef">075434695</idno>
          <idno type="RNSR">200615274F</idno>
          <orgName>Laboratoire d'Informatique Fondamentale d'Orléans</orgName>
          <orgName type="acronym">LIFO</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment IIIA, Rue Léonard de Vinci, B.P. 6759, F-45067 ORLEANS Cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/lifo/</ref>
          </desc>
          <listRelation>
            <relation name="EA 4022" active="#struct-300297" type="direct"/>
            <relation name="EA 4022" active="#struct-303079" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300297" status="VALID">
          <idno type="IdRef">026402971</idno>
          <idno type="ISNI">0000 0001 2158 1666</idno>
          <idno type="ROR">https://ror.org/014zrew76</idno>
          <orgName>Université d'Orléans</orgName>
          <orgName type="acronym">UO</orgName>
          <desc>
            <address>
              <addrLine>Château de la Source - Avenue du Parc Floral - BP 6749 - 45067 Orléans cedex 2</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-orleans.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-303079" status="VALID">
          <idno type="IdRef">203592077</idno>
          <orgName>Institut National des Sciences Appliquées - Centre Val de Loire</orgName>
          <orgName type="acronym">INSA CVL</orgName>
          <date type="start">2014-01-01</date>
          <desc>
            <address>
              <addrLine>88 boulevard Lahitolle, CS 60013, 18022 Bourges cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-centrevaldeloire.fr/fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>