<?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-01581159</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-23T09:45:40+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Verification of Privacy Timed Properties in Web Service Protocols</title>
            <author role="aut">
              <persName>
                <forename type="first">Karima</forename>
                <surname>Mokhtari</surname>
              </persName>
              <email type="md5">37b8c175fb26c836955157b9fe8b8885</email>
              <email type="domain">psl.aphp.fr</email>
              <idno type="idhal" notation="numeric">1381966</idno>
              <idno type="halauthorid" notation="string">338377-1381966</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-4777-7584</idno>
              <affiliation ref="#struct-302938"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Salima</forename>
                <surname>Benbernou</surname>
              </persName>
              <email type="md5">aafa30e0203c610520890f20558cfa71</email>
              <email type="domain">bat710.univ-lyon1.fr</email>
              <idno type="idhal" notation="numeric">998489</idno>
              <idno type="halauthorid" notation="string">195545-998489</idno>
              <affiliation ref="#struct-2003"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mouhammad</forename>
                <surname>Said</surname>
              </persName>
              <idno type="halauthorid">413412-0</idno>
              <affiliation ref="#struct-302938"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Emmanuel</forename>
                <surname>Coquery</surname>
              </persName>
              <email type="md5">86678508c61a526095ac25f30e084bb3</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">emmanuel-coquery</idno>
              <idno type="idhal" notation="numeric">4088</idno>
              <idno type="halauthorid" notation="string">25709-4088</idno>
              <idno type="IDREF">https://www.idref.fr/089022661</idno>
              <affiliation ref="#struct-401125"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mohand-Said</forename>
                <surname>Hacid</surname>
              </persName>
              <email type="md5">be54d4a62f3759fa43c2cb9e02239f04</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">mohand-said-hacid</idno>
              <idno type="idhal" notation="numeric">7283</idno>
              <idno type="halauthorid" notation="string">4003-7283</idno>
              <idno type="IDREF">https://www.idref.fr/070848440</idno>
              <affiliation ref="#struct-401125"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Frank</forename>
                <surname>Leyman</surname>
              </persName>
              <idno type="halauthorid">1051248-0</idno>
              <affiliation ref="#struct-227124"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Équipe gestionnaire des publications</forename>
                <surname>SI LIRIS</surname>
              </persName>
              <email type="md5">e23ef1a28486101db4cd509fd74c3ade</email>
              <email type="domain">liris.cnrs.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-09-04 14:00:22</date>
              <date type="whenWritten">2008-07</date>
              <date type="whenModified">2026-01-20 11:54:46</date>
              <date type="whenReleased">2017-09-04 14:00:22</date>
              <date type="whenProduced">2008-07-07</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="314372">
                <persName>
                  <forename>Équipe gestionnaire des publications</forename>
                  <surname>SI LIRIS</surname>
                </persName>
                <email type="md5">e23ef1a28486101db4cd509fd74c3ade</email>
                <email type="domain">liris.cnrs.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01581159</idno>
            <idno type="halUri">https://hal.science/hal-01581159</idno>
            <idno type="halBibtex">mokhtari:hal-01581159</idno>
            <idno type="halRefHtml">&lt;i&gt;2008 IEEE international Conference on Service Computing&lt;/i&gt;, Jul 2008, Honolulu, United States. pp.593-594</idno>
            <idno type="halRef">2008 IEEE international Conference on Service Computing, Jul 2008, Honolulu, United States. pp.593-594</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-LYON1">Université Claude Bernard - Lyon I</idno>
            <idno type="stamp" n="UNIV-LYON2">Université Lumière Lyon 2</idno>
            <idno type="stamp" n="INSA-LYON">Institut National des Sciences Appliquées de Lyon</idno>
            <idno type="stamp" n="EC-LYON">Ecole Centrale de Lyon</idno>
            <idno type="stamp" n="LIRIS" corresp="UNIV-LYON1">Laboratoire d'InfoRmatique en Image et Systèmes d'information</idno>
            <idno type="stamp" n="LABEXIMU">Laboratoire d’Excellence Intelligences des Mondes Urbains</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UDL">UDL</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="HAL-LYON-2-NOUVELLE-VERSION">Nouvelle version portail </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">Verification of Privacy Timed Properties in Web Service Protocols</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Karima</forename>
                    <surname>Mokhtari</surname>
                  </persName>
                  <email type="md5">37b8c175fb26c836955157b9fe8b8885</email>
                  <email type="domain">psl.aphp.fr</email>
                  <idno type="idhal" notation="numeric">1381966</idno>
                  <idno type="halauthorid" notation="string">338377-1381966</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-4777-7584</idno>
                  <affiliation ref="#struct-302938"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Salima</forename>
                    <surname>Benbernou</surname>
                  </persName>
                  <email type="md5">aafa30e0203c610520890f20558cfa71</email>
                  <email type="domain">bat710.univ-lyon1.fr</email>
                  <idno type="idhal" notation="numeric">998489</idno>
                  <idno type="halauthorid" notation="string">195545-998489</idno>
                  <affiliation ref="#struct-2003"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mouhammad</forename>
                    <surname>Said</surname>
                  </persName>
                  <idno type="halauthorid">413412-0</idno>
                  <affiliation ref="#struct-302938"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Emmanuel</forename>
                    <surname>Coquery</surname>
                  </persName>
                  <email type="md5">86678508c61a526095ac25f30e084bb3</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">emmanuel-coquery</idno>
                  <idno type="idhal" notation="numeric">4088</idno>
                  <idno type="halauthorid" notation="string">25709-4088</idno>
                  <idno type="IDREF">https://www.idref.fr/089022661</idno>
                  <affiliation ref="#struct-401125"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mohand-Said</forename>
                    <surname>Hacid</surname>
                  </persName>
                  <email type="md5">be54d4a62f3759fa43c2cb9e02239f04</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">mohand-said-hacid</idno>
                  <idno type="idhal" notation="numeric">7283</idno>
                  <idno type="halauthorid" notation="string">4003-7283</idno>
                  <idno type="IDREF">https://www.idref.fr/070848440</idno>
                  <affiliation ref="#struct-401125"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Frank</forename>
                    <surname>Leyman</surname>
                  </persName>
                  <idno type="halauthorid">1051248-0</idno>
                  <affiliation ref="#struct-227124"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">3488</idno>
                <meeting>
                  <title>2008 IEEE international Conference on Service Computing</title>
                  <date type="start">2008-07-07</date>
                  <settlement>Honolulu</settlement>
                  <country key="US">United States</country>
                </meeting>
                <editor>IEEE</editor>
                <imprint>
                  <publisher>IEEE</publisher>
                  <biblScope unit="pp">593-594</biblScope>
                  <date type="datePub">2008-07</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <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>In this work we propose an approach for verifying privacy timed-related properties of web service protocol. While in [2] the addressed problem in business protocols is focused on the analysis and management of functional requirements that support rich timing constraints, our approach extends the previous results to capture the timed behavior of privacy constraints. Hence, we provide a model called Timed Private Business Protocol TPBP. Next, we emphasize the timed properties related to privacy in TPBP . Finally, we present the different types of timed property veriﬁcation to achieve upon the timed private business protocol. </p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-302938" status="VALID">
          <orgName>Université des sciences et de la Technologie d'Oran Mohamed Boudiaf [Oran]</orgName>
          <orgName type="acronym">USTO MB</orgName>
          <desc>
            <address>
              <addrLine>El Mnaouar, BP 1505, Bir El Djir 31000</addrLine>
              <country key="DZ"/>
            </address>
            <ref type="url">http://www.univ-usto.dz</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-2003" status="VALID">
          <idno type="IdRef">149705271</idno>
          <idno type="ISNI">0000000122577669</idno>
          <idno type="RNSR">200511875R</idno>
          <idno type="ROR">https://ror.org/04dv4he91</idno>
          <orgName>Laboratoire d'InfoRmatique en Image et Systèmes d'information</orgName>
          <orgName type="acronym">LIRIS</orgName>
          <date type="start">2003-01-01</date>
          <desc>
            <address>
              <addrLine>Bâtiment Blaise Pascal - 20, avenue Albert Einstein - 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://liris.cnrs.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-33804" type="direct"/>
            <relation active="#struct-126765" type="direct"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="direct"/>
            <relation active="#struct-219748" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-401125" status="VALID">
          <orgName>Base de Données</orgName>
          <orgName type="acronym">BD</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-2003" type="direct"/>
            <relation active="#struct-33804" type="indirect"/>
            <relation active="#struct-126765" type="indirect"/>
            <relation active="#struct-301088" type="indirect"/>
            <relation active="#struct-194495" type="indirect"/>
            <relation active="#struct-219748" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation name="UMR5205" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-227124" status="VALID">
          <orgName>Institut für Architektur von Anwendungssystemen</orgName>
          <orgName type="acronym">IAAS</orgName>
          <desc>
            <address>
              <addrLine>Universit ̈ at Stuttgart Universit ̈ atsstraße 38 70569 Stuttgart Germany</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.iaas.uni-stuttgart.de/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-63008" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-33804" status="VALID">
          <idno type="IdRef">02640334X</idno>
          <idno type="ISNI">0000 0001 2188 0906</idno>
          <idno type="ROR">https://ror.org/03rth4p18</idno>
          <idno type="Wikidata">Q4041</idno>
          <orgName>Université Lumière - Lyon 2</orgName>
          <orgName type="acronym">UL2</orgName>
          <desc>
            <address>
              <addrLine>86, rue Pasteur - 69007 Lyon</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon2.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-126765" status="VALID">
          <idno type="ROR">https://ror.org/05s6rge65</idno>
          <orgName>École Centrale de Lyon</orgName>
          <orgName type="acronym">ECL</orgName>
          <desc>
            <address>
              <addrLine>36 avenue Guy de Collongue - 69134 Ecully cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ec-lyon.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301088" status="VALID">
          <idno type="ROR">https://ror.org/01rk35k63</idno>
          <orgName>Université de Lyon</orgName>
          <desc>
            <address>
              <addrLine>92 rue Pasteur - CS 30122, 69361 Lyon Cedex 07</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-lyon.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-194495" status="VALID">
          <idno type="IdRef">026402823</idno>
          <idno type="ISNI">0000000121686185</idno>
          <idno type="ROR">https://ror.org/029brtt94</idno>
          <orgName>Université Claude Bernard Lyon 1</orgName>
          <orgName type="acronym">UCBL</orgName>
          <desc>
            <address>
              <addrLine>43, boulevard du 11 novembre 1918, 69622 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lyon1.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-219748" status="VALID">
          <idno type="IdRef">052444724</idno>
          <idno type="ISNI">0000 0001 2292 0228</idno>
          <orgName>Institut National des Sciences Appliquées de Lyon</orgName>
          <orgName type="acronym">INSA Lyon</orgName>
          <date type="start">1957-03-18</date>
          <desc>
            <address>
              <addrLine>20 Avenue Albert Einstein, 69621 Villeurbanne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-lyon.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301088" type="direct"/>
            <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>
        <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-63008" status="VALID">
          <idno type="ISNI">0000 0004 1936 9713</idno>
          <idno type="ROR">https://ror.org/04vnq7t77</idno>
          <idno type="Wikidata">Q122453</idno>
          <orgName>University of Stuttgart = Universität Stuttgart</orgName>
          <date type="start">1829-01-01</date>
          <desc>
            <address>
              <addrLine>P.O. Box 106037, Keplerstrasse 7, Stuttgart, Baden-Württemberg, 70049</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">http://www.uni-stuttgart.de/home/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>