<?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-01132722</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-20T14:39:15+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Timed automata based modeling and verification of denial of service attacks in wireless sensor networks</title>
            <author role="aut">
              <persName>
                <forename type="first">Youcef</forename>
                <surname>Hammal</surname>
              </persName>
              <idno type="halauthorid">899980-0</idno>
              <orgName ref="#struct-92874"/>
              <affiliation ref="#struct-92874"/>
            </author>
            <author role="crp">
              <persName>
                <forename type="first">Quentin</forename>
                <surname>Monnet</surname>
              </persName>
              <email type="md5">9c285ac7b56b7337ce8a549e7f467337</email>
              <email type="domain">lacl.fr</email>
              <idno type="idhal" notation="string">qmo</idno>
              <idno type="idhal" notation="numeric">3139</idno>
              <idno type="halauthorid" notation="string">24983-3139</idno>
              <idno type="IDREF">https://www.idref.fr/22479079X</idno>
              <orgName ref="#struct-303005"/>
              <affiliation ref="#struct-1662"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lynda</forename>
                <surname>Mokdad</surname>
              </persName>
              <email type="md5">73f9f054e403d43b59f182ffa65760e3</email>
              <email type="domain">univ-paris12.fr</email>
              <idno type="idhal" notation="string">lynda-mokdad</idno>
              <idno type="idhal" notation="numeric">1231763</idno>
              <idno type="halauthorid" notation="string">184044-1231763</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6182-4869</idno>
              <orgName ref="#struct-303005"/>
              <affiliation ref="#struct-1662"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jalel</forename>
                <surname>Ben-Othman</surname>
              </persName>
              <email type="md5">caefdefdec44296fa15628ee941d3cff</email>
              <email type="domain">l2s.centralesupelec.fr</email>
              <idno type="idhal" notation="string">jbo</idno>
              <idno type="idhal" notation="numeric">18231</idno>
              <idno type="halauthorid" notation="string">602-18231</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6942-5435</idno>
              <idno type="IDREF">https://www.idref.fr/061122106</idno>
              <orgName ref="#struct-15786"/>
              <affiliation ref="#struct-88125"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Abdelkarim</forename>
                <surname>Abdelli</surname>
              </persName>
              <idno type="halauthorid">899981-0</idno>
              <affiliation ref="#struct-92874"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Quentin</forename>
                <surname>Monnet</surname>
              </persName>
              <email type="md5">9c285ac7b56b7337ce8a549e7f467337</email>
              <email type="domain">lacl.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2015-03-17 17:52:35</date>
              <date type="whenWritten">2013-12</date>
              <date type="whenModified">2025-02-20 14:08:23</date>
              <date type="whenReleased">2015-03-18 08:56:39</date>
              <date type="whenProduced">2014</date>
              <date type="whenEndEmbargoed">2015-03-17</date>
              <ref type="file" target="https://hal.science/hal-01132722v1/document">
                <date notBefore="2015-03-17"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-01132722v1/file/Timed%20automata%20based%20modeling%20and%20veri%EF%AC%81cation%20of%20denial%20of%20service%20attacks%20in%20wireless%20sensor%20networks.pdf" id="file-1132722-1211944">
                <date notBefore="2015-03-17"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="310565">
                <persName>
                  <forename>Quentin</forename>
                  <surname>Monnet</surname>
                </persName>
                <email type="md5">9c285ac7b56b7337ce8a549e7f467337</email>
                <email type="domain">lacl.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01132722</idno>
            <idno type="halUri">https://hal.science/hal-01132722</idno>
            <idno type="halBibtex">hammal:hal-01132722</idno>
            <idno type="halRefHtml">&lt;i&gt;Studia Informatica Universalis&lt;/i&gt;, 2014, 12 (1), pp 1−46</idno>
            <idno type="halRef">Studia Informatica Universalis, 2014, 12 (1), pp 1−46</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1132722-1211944"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-PARIS13">Université Paris-Nord - Paris XIII </idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="LACL" corresp="UPEC">Laboratoire d'Algorithmique Complexité et Logique</idno>
            <idno type="stamp" n="OCA">Observatoire de la Cote d'Azur</idno>
            <idno type="stamp" n="UPEC" corresp="CV_UPEC">Université Paris-Est Créteil Val-de-Marne</idno>
            <idno type="stamp" n="L2TI" corresp="UNIV-PARIS13">Laboratoire de Traitement et Transport de l'Information</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="GALILE" corresp="UNIV-PARIS13">Institut Galilée Université Paris 13</idno>
            <idno type="stamp" n="SORBONNE-PARIS-NORD">Université Sorbonne Paris Nord</idno>
            <idno type="stamp" n="ACT-R" corresp="UNIV-PARIS13">Act'R </idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Timed automata based modeling and verification of denial of service attacks in wireless sensor networks</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Youcef</forename>
                    <surname>Hammal</surname>
                  </persName>
                  <idno type="halauthorid">899980-0</idno>
                  <orgName ref="#struct-92874"/>
                  <affiliation ref="#struct-92874"/>
                </author>
                <author role="crp">
                  <persName>
                    <forename type="first">Quentin</forename>
                    <surname>Monnet</surname>
                  </persName>
                  <email type="md5">9c285ac7b56b7337ce8a549e7f467337</email>
                  <email type="domain">lacl.fr</email>
                  <idno type="idhal" notation="string">qmo</idno>
                  <idno type="idhal" notation="numeric">3139</idno>
                  <idno type="halauthorid" notation="string">24983-3139</idno>
                  <idno type="IDREF">https://www.idref.fr/22479079X</idno>
                  <orgName ref="#struct-303005"/>
                  <affiliation ref="#struct-1662"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lynda</forename>
                    <surname>Mokdad</surname>
                  </persName>
                  <email type="md5">73f9f054e403d43b59f182ffa65760e3</email>
                  <email type="domain">univ-paris12.fr</email>
                  <idno type="idhal" notation="string">lynda-mokdad</idno>
                  <idno type="idhal" notation="numeric">1231763</idno>
                  <idno type="halauthorid" notation="string">184044-1231763</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6182-4869</idno>
                  <orgName ref="#struct-303005"/>
                  <affiliation ref="#struct-1662"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jalel</forename>
                    <surname>Ben-Othman</surname>
                  </persName>
                  <email type="md5">caefdefdec44296fa15628ee941d3cff</email>
                  <email type="domain">l2s.centralesupelec.fr</email>
                  <idno type="idhal" notation="string">jbo</idno>
                  <idno type="idhal" notation="numeric">18231</idno>
                  <idno type="halauthorid" notation="string">602-18231</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6942-5435</idno>
                  <idno type="IDREF">https://www.idref.fr/061122106</idno>
                  <orgName ref="#struct-15786"/>
                  <affiliation ref="#struct-88125"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Abdelkarim</forename>
                    <surname>Abdelli</surname>
                  </persName>
                  <idno type="halauthorid">899981-0</idno>
                  <affiliation ref="#struct-92874"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">41169</idno>
                <idno type="issn">1625-7545</idno>
                <idno type="eissn">2496-1477</idno>
                <title level="j">Studia Informatica Universalis</title>
                <imprint>
                  <publisher>Hermann</publisher>
                  <biblScope unit="volume">12</biblScope>
                  <biblScope unit="issue">1</biblScope>
                  <biblScope unit="pp">pp 1−46</biblScope>
                  <date type="datePub">2014</date>
                </imprint>
              </monogr>
              <ref type="publisher">http://studia.complexica.net</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Simulation</term>
                <term xml:lang="en">Model-checking</term>
                <term xml:lang="en">Energy- aware systems</term>
                <term xml:lang="en">Reliability availability and serviceability</term>
                <term xml:lang="en">Wireless sensor networks</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-mo">Computer Science [cs]/Modeling and Simulation</classCode>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halDomain" n="info.info-ni">Computer Science [cs]/Networking and Internet Architecture [cs.NI]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Sensor networks have been increasingly deployed for civil and military applications over the last years. Due to their low resources, sensors come along with new issues regarding network security and energy consumption. Focusing on the network availability, previous studies proposed to protect the network against denial of service attacks with the use of traffic monitoring agents. Working on the election process, we try to enhance this solution by introducing an energy-aware and secure method to dynamically select these “cNodes” in a clustered WSN: nodes with the higher residual energy get elected. We discuss limitations of this deterministic selection and suggest to designate new control nodes, “vNodes”, to monitor the cNodes by periodically enquiring about their remaining energy, thus ensuring that they do not lie during the election process in attempt to keep their role. Validation is first carried out with a formal specification of our proposal using the UPPAAL model-checker. We model nodes by means of communicating timed automata, logical clocks and timing constraints. Through Computation Tree Logic we express and check properties for the election processes, related to energy and presence of greedy or jamming nodes.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-92874" status="VALID">
          <orgName>Université des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]</orgName>
          <orgName type="acronym">USTHB</orgName>
          <desc>
            <address>
              <addrLine>BP 32 EL Alia 16111 Bab Ezzouar,  Alger</addrLine>
              <country key="DZ"/>
            </address>
            <ref type="url">http://www.usthb.dz/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-1662" status="OLD">
          <orgName>Laboratoire d'Algorithmique Complexité et Logique</orgName>
          <orgName type="acronym">LACL</orgName>
          <desc>
            <address>
              <addrLine>Dép.d'informatique Bat.P2 61,avenue du général de Gaulle 94010 CRETEIL CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris12.fr/lacl</ref>
          </desc>
          <listRelation>
            <relation active="#struct-420786" type="direct"/>
            <relation name="FRE2673" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-88125" status="OLD">
          <orgName>Laboratoire de Traitement et Transport de l'Information</orgName>
          <orgName type="acronym">L2TI</orgName>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>Institut Galilée, Université Paris 13, 99 avenue Jean-Baptiste Clément, F-93430, Villetaneuse</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www-l2ti.univ-paris13.fr</ref>
          </desc>
          <listRelation>
            <relation name="EA3043" active="#struct-15786" type="direct"/>
            <relation active="#struct-301340" type="direct"/>
            <relation active="#struct-303171" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-420786" status="VALID">
          <idno type="IdRef">028021037</idno>
          <idno type="ISNI">0000000121497878</idno>
          <idno type="ROR">https://ror.org/05ggc9x40</idno>
          <orgName>Université Paris-Est Créteil Val-de-Marne - Paris 12</orgName>
          <orgName type="acronym">UPEC UP12</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>61 avenue du Général de Gaulle - 94010 Créteil cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-pec.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>
        <org type="institution" xml:id="struct-15786" status="VALID">
          <idno type="ROR">https://ror.org/05f82e368</idno>
          <orgName>Université Paris 13</orgName>
          <orgName type="acronym">UP13</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-paris13.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301340" status="VALID">
          <orgName>Institut Galilée</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-303171" status="VALID">
          <idno type="IdRef">19077990X</idno>
          <idno type="ROR">https://ror.org/001z21q04</idno>
          <orgName>Université Sorbonne Paris Cité</orgName>
          <orgName type="acronym">USPC</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université Sorbonne Paris Cité | 100-104, avenue de France | 75013 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-paris-cite.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>