<?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 hal-05185090</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-03T11:23:06+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services</title>
            <author role="aut">
              <persName>
                <forename type="first">Mohamed</forename>
                <surname>Oulaaffart</surname>
              </persName>
              <email type="md5">25566bbcaafb7c568a245e20a944921a</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">mohamed-oulaaffart</idno>
              <idno type="idhal" notation="numeric">1244296</idno>
              <idno type="halauthorid" notation="string">2355006-1244296</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-5021-5075</idno>
              <affiliation ref="#struct-529415"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rémi</forename>
                <surname>Badonnel</surname>
              </persName>
              <email type="md5">c34b7b36291629a34020b0761d94adc1</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="numeric">763548</idno>
              <idno type="halauthorid" notation="string">111562-763548</idno>
              <idno type="IDREF">https://www.idref.fr/112299733</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9213-4695</idno>
              <affiliation ref="#struct-529415"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Nicolas</forename>
                <surname>Schnepf</surname>
              </persName>
              <idno type="idhal" notation="numeric">1574818</idno>
              <idno type="halauthorid" notation="string">1259155-1574818</idno>
              <idno type="IDREF">https://www.idref.fr/240097548</idno>
              <idno type="ORCID">https://orcid.org/0009-0002-4291-9587</idno>
              <affiliation ref="#struct-529415"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Christophe</forename>
                <surname>Bianco</surname>
              </persName>
              <email type="md5">228d30addd22027e1da8fa7ab6f5397b</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="numeric">1198614</idno>
              <idno type="halauthorid" notation="string">2667085-1198614</idno>
              <affiliation ref="#struct-529415"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Rémi</forename>
                <surname>Badonnel</surname>
              </persName>
              <email type="md5">c34b7b36291629a34020b0761d94adc1</email>
              <email type="domain">loria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-07-24 15:53:04</date>
              <date type="whenModified">2026-01-08 15:13:17</date>
              <date type="whenReleased">2025-07-24 15:53:04</date>
              <date type="whenProduced">2025-06-23</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="103084">
                <persName>
                  <forename>Rémi</forename>
                  <surname>Badonnel</surname>
                </persName>
                <email type="md5">c34b7b36291629a34020b0761d94adc1</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05185090</idno>
            <idno type="halUri">https://hal.science/hal-05185090</idno>
            <idno type="halBibtex">oulaaffart:hal-05185090</idno>
            <idno type="halRefHtml">&lt;i&gt;2025 IEEE 11th International Conference on Network Softwarization (NetSoft)&lt;/i&gt;, IEEE, Jun 2025, Budapest, France. &lt;a target="_blank" href="https://dx.doi.org/10.1109/NetSoft64993.2025.11080533"&gt;&amp;#x27E8;10.1109/NetSoft64993.2025.11080533&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">2025 IEEE 11th International Conference on Network Softwarization (NetSoft), IEEE, Jun 2025, Budapest, France. &amp;#x27E8;10.1109/NetSoft64993.2025.11080533&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-NSS" corresp="LORIA">Department of Networks, Systems and Services</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Enhancing Artificial Intelligence with Verification Techniques to Support Automated Moving Target Defense in Cloud Composite Services</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohamed</forename>
                    <surname>Oulaaffart</surname>
                  </persName>
                  <email type="md5">25566bbcaafb7c568a245e20a944921a</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">mohamed-oulaaffart</idno>
                  <idno type="idhal" notation="numeric">1244296</idno>
                  <idno type="halauthorid" notation="string">2355006-1244296</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-5021-5075</idno>
                  <affiliation ref="#struct-529415"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rémi</forename>
                    <surname>Badonnel</surname>
                  </persName>
                  <email type="md5">c34b7b36291629a34020b0761d94adc1</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="numeric">763548</idno>
                  <idno type="halauthorid" notation="string">111562-763548</idno>
                  <idno type="IDREF">https://www.idref.fr/112299733</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9213-4695</idno>
                  <affiliation ref="#struct-529415"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Nicolas</forename>
                    <surname>Schnepf</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1574818</idno>
                  <idno type="halauthorid" notation="string">1259155-1574818</idno>
                  <idno type="IDREF">https://www.idref.fr/240097548</idno>
                  <idno type="ORCID">https://orcid.org/0009-0002-4291-9587</idno>
                  <affiliation ref="#struct-529415"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Christophe</forename>
                    <surname>Bianco</surname>
                  </persName>
                  <email type="md5">228d30addd22027e1da8fa7ab6f5397b</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="numeric">1198614</idno>
                  <idno type="halauthorid" notation="string">2667085-1198614</idno>
                  <affiliation ref="#struct-529415"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>2025 IEEE 11th International Conference on Network Softwarization (NetSoft)</title>
                  <date type="start">2025-06-23</date>
                  <date type="end">2025-06-27</date>
                  <settlement>Budapest</settlement>
                  <country key="FR">France</country>
                </meeting>
                <respStmt>
                  <resp>conferenceOrganizer</resp>
                  <name>IEEE</name>
                </respStmt>
                <editor>IEEE</editor>
                <imprint>
                  <publisher>IEEE</publisher>
                  <date type="datePub">2025-06-23</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/NetSoft64993.2025.11080533</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Cloud Computing</term>
                <term xml:lang="en">Security Management</term>
                <term xml:lang="en">Artificial intelligence</term>
                <term xml:lang="en">Vulnerability prevention</term>
                <term xml:lang="en">Softwarization</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Advancements in softwarization and service composition have contributed to the deployment of large-scale distributed cloud services across diverse infrastructures. The growing complexity of these services, combined with the continuous emergence of new vulnerabilities, constitutes a significant challenge in terms of security management. Moving target defense strategies, leveraged by artificial intelligence, offer new opportunities to protect them. At the meantime, the changes that are operated by these strategies may lead these services into vulnerable configurations. We propose in this paper a moving target defense strategy which bridges the gap between artificial intelligence and configuration verification techniques. The objective is to select the movements to be applied on the cloud composite service, in order to reduce the predictability of configuration changes, while minimizing the risk of critical vulnerable configurations. We formalize and design a framework exploiting reinforcement learning and SMT solving, to support this strategy. We also perform large series of experiments to evaluate the feasibility and performance of our solution based on OVAL vulnerability descriptions.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-529415" status="VALID">
          <idno type="RNSR">201822769A</idno>
          <idno type="ROR">https://ror.org/00vk6my81</idno>
          <orgName>Resilience and Elasticity for Security and ScalabiliTy of dynamic networked systems</orgName>
          <orgName type="acronym">RESIST</orgName>
          <date type="start">2018-01-01</date>
          <date type="end">2025-12-31</date>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.inria.fr/equipes/resist</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423085" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-423085" status="VALID">
          <orgName>Department of Networks, Systems and Services</orgName>
          <orgName type="acronym">LORIA - NSS</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/networks-systems-and-services/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>