<?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-01347712</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-13T08:54:15+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Preserving opacity on Interval Markov Chains under simulation</title>
            <author role="aut">
              <persName>
                <forename type="first">Béatrice</forename>
                <surname>Bérard</surname>
              </persName>
              <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="string">beatrice-berard</idno>
              <idno type="idhal" notation="numeric">9360</idno>
              <idno type="halauthorid" notation="string">25835-9360</idno>
              <idno type="IDREF">https://www.idref.fr/029892740</idno>
              <affiliation ref="#struct-405336"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Olga</forename>
                <surname>Kouchnarenko</surname>
              </persName>
              <idno type="halauthorid">114018-0</idno>
              <affiliation ref="#struct-189789"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">John</forename>
                <surname>Mullins</surname>
              </persName>
              <email type="md5">52d552ea18adf05904d20ef413a763a1</email>
              <email type="domain">polymtl.ca</email>
              <idno type="idhal" notation="numeric">959111</idno>
              <idno type="halauthorid" notation="string">147090-959111</idno>
              <affiliation ref="#struct-57241"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Mathieu</forename>
                <surname>Sassolas</surname>
              </persName>
              <email type="md5">2fa97f162417a5cc7b69ba6ecb91d262</email>
              <email type="domain">lip6.fr</email>
              <idno type="idhal" notation="numeric">966975</idno>
              <idno type="halauthorid" notation="string">446724-966975</idno>
              <affiliation ref="#struct-1662"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Béatrice</forename>
                <surname>Bérard</surname>
              </persName>
              <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
              <email type="domain">lip6.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-07-21 15:50:45</date>
              <date type="whenWritten">2016</date>
              <date type="whenModified">2026-05-13 03:22:14</date>
              <date type="whenReleased">2016-07-21 15:50:45</date>
              <date type="whenProduced">2016-05-30</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="327622">
                <persName>
                  <forename>Béatrice</forename>
                  <surname>Bérard</surname>
                </persName>
                <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
                <email type="domain">lip6.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01347712</idno>
            <idno type="halUri">https://hal.sorbonne-universite.fr/hal-01347712</idno>
            <idno type="halBibtex">berard:hal-01347712</idno>
            <idno type="halRefHtml">&lt;i&gt;WODES 2016 - 13th International Workshop on Discrete Event Systems &lt;/i&gt;, May 2016, Xi'an, China. pp.319-324, &lt;a target="_blank" href="https://dx.doi.org/10.1109/WODES.2016.7497866"&gt;&amp;#x27E8;10.1109/WODES.2016.7497866&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">WODES 2016 - 13th International Workshop on Discrete Event Systems , May 2016, Xi'an, China. pp.319-324, &amp;#x27E8;10.1109/WODES.2016.7497866&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UPMC" corresp="SORBONNE-UNIVERSITE">Université Pierre et Marie Curie</idno>
            <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="UNIV-BM">Université de Technologie de Belfort-Montbeliard</idno>
            <idno type="stamp" n="ENSMM">Ecole Nationale Supérieure de Mécanique et des Microtechniques</idno>
            <idno type="stamp" n="LACL" corresp="UPEC">Laboratoire d'Algorithmique Complexité et Logique</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="UNIV-BM-THESE">Université de Technologie de Belfort-Montbeliard</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="UPEC" corresp="CV_UPEC">Université Paris-Est Créteil Val-de-Marne</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</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-FM" corresp="LORIA">Department of Formal methods</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="UPMC_POLE_1" corresp="UPMC">UPMC Pôle 1</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="INRIA-CANADA">INRIA-CANADA</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">Preserving opacity on Interval Markov Chains under simulation</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Béatrice</forename>
                    <surname>Bérard</surname>
                  </persName>
                  <email type="md5">c8f5f5e7dae68065d538d083be96e7bc</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="string">beatrice-berard</idno>
                  <idno type="idhal" notation="numeric">9360</idno>
                  <idno type="halauthorid" notation="string">25835-9360</idno>
                  <idno type="IDREF">https://www.idref.fr/029892740</idno>
                  <affiliation ref="#struct-405336"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Olga</forename>
                    <surname>Kouchnarenko</surname>
                  </persName>
                  <idno type="halauthorid">114018-0</idno>
                  <affiliation ref="#struct-189789"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">John</forename>
                    <surname>Mullins</surname>
                  </persName>
                  <email type="md5">52d552ea18adf05904d20ef413a763a1</email>
                  <email type="domain">polymtl.ca</email>
                  <idno type="idhal" notation="numeric">959111</idno>
                  <idno type="halauthorid" notation="string">147090-959111</idno>
                  <affiliation ref="#struct-57241"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Mathieu</forename>
                    <surname>Sassolas</surname>
                  </persName>
                  <email type="md5">2fa97f162417a5cc7b69ba6ecb91d262</email>
                  <email type="domain">lip6.fr</email>
                  <idno type="idhal" notation="numeric">966975</idno>
                  <idno type="halauthorid" notation="string">446724-966975</idno>
                  <affiliation ref="#struct-1662"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Proceedings of 13th International Workshop on Discrete Event Systems (WODES) 2016, IEEE</title>
                <meeting>
                  <title>WODES 2016 - 13th International Workshop on Discrete Event Systems </title>
                  <date type="start">2016-05-30</date>
                  <date type="end">2016-06-01</date>
                  <settlement>Xi'an</settlement>
                  <country key="CN">China</country>
                </meeting>
                <imprint>
                  <biblScope unit="pp">319-324</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1109/WODES.2016.7497866</idno>
              <ref type="publisher">Christos G. Cassandras and Alessandro Giua and Zhiwu Li</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</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>Given a probabilistic transition system (PTS) A partially observed by an attacker, and an ω-regular predicate φ over the traces of A, measuring the disclosure of the secret φ in A means computing the probability that an attacker who observes a run of A can ascertain that its trace belongs to φ. We consider specifications given as Interval Markov Chains (IMCs), which are underspecified Markov chains where probabilities on edges are only required to belong to intervals. Scheduling an IMC S produces a concrete implementation as a PTS and we define the worst case disclosure of secret φ in S as the maximal disclosure of φ over all PTSs thus produced. We compute this value for a subclass of IMCs and we prove that simulation between specifications can only improve the opacity of implementations.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-405336" status="OLD">
          <orgName>Modélisation et Vérification</orgName>
          <orgName type="acronym">MoVe</orgName>
          <date type="start">2004-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-233" type="direct"/>
            <relation active="#struct-93591" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-189789" status="OLD">
          <idno type="RNSR">200318302K</idno>
          <orgName>Combination of approaches to the security of infinite states systems</orgName>
          <orgName type="acronym">CASSIS</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/cassis</ref>
          </desc>
          <listRelation>
            <relation active="#struct-866" type="direct"/>
            <relation name="UMR 6174" active="#struct-300261" type="indirect"/>
            <relation active="#struct-300360" type="indirect"/>
            <relation name="UMR6174" active="#struct-441569" type="indirect"/>
            <relation active="#struct-458810" type="indirect"/>
            <relation active="#struct-426438" type="indirect"/>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423084" 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="institution" xml:id="struct-57241" status="VALID">
          <idno type="ROR">https://ror.org/05f8d4e86</idno>
          <orgName>École Polytechnique de Montréal</orgName>
          <orgName type="acronym">EPM</orgName>
          <desc>
            <address>
              <addrLine>Campus de l'Université de Montréal - 2500, chemin de Polytechnique - Montréal (Québec) H3T 1J4</addrLine>
              <country key="CA"/>
            </address>
            <ref type="url">http://www.polymtl.ca/</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-233" status="OLD">
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>Laboratoire d'Informatique de Paris 6</orgName>
          <orgName type="acronym">LIP6</orgName>
          <date type="start">1997-01-01</date>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93591" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-93591" status="OLD">
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Université Pierre et Marie Curie - Paris 6</orgName>
          <orgName type="acronym">UPMC</orgName>
          <date type="end">2017-12-31</date>
          <desc>
            <address>
              <addrLine>4 place Jussieu - 75005 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.upmc.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="laboratory" xml:id="struct-866" status="VALID">
          <idno type="IdRef">152639071</idno>
          <idno type="RNSR">200412232H</idno>
          <idno type="ROR">https://ror.org/004fmxv66</idno>
          <orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)</orgName>
          <orgName type="acronym">FEMTO-ST</orgName>
          <date type="start">2004-01-01</date>
          <desc>
            <address>
              <addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.femto-st.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR 6174" active="#struct-300261" type="direct"/>
            <relation active="#struct-300360" type="direct"/>
            <relation name="UMR6174" active="#struct-441569" type="direct"/>
            <relation active="#struct-458810" type="direct"/>
            <relation active="#struct-426438" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300261" status="VALID">
          <orgName>Université de Technologie de Belfort-Montbeliard</orgName>
          <orgName type="acronym">UTBM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300360" status="VALID">
          <idno type="IdRef">201436736</idno>
          <idno type="ROR">https://ror.org/05813w841</idno>
          <orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName>
          <orgName type="acronym">ENSMM</orgName>
          <desc>
            <address>
              <addrLine>École Nationale Supérieure de Mécanique et des Microtechniques26, rue de l'épitapheCS 5181325030 BESANÇON CEDEX - FRANCE</addrLine>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-458810" status="VALID">
          <idno type="IdRef">026403188</idno>
          <idno type="ISNI">0000000121883779</idno>
          <idno type="ROR">https://ror.org/03pcc9z86</idno>
          <orgName>Université Marie et Louis Pasteur</orgName>
          <orgName type="acronym">UMLP</orgName>
          <desc>
            <address>
              <addrLine>1 rue Goudimel25030 Besançon cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.umlp.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-426438" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-426438" status="VALID">
          <idno type="IdRef">200716271</idno>
          <idno type="ISNI">0000 0004 4910 6615</idno>
          <idno type="ROR">https://ror.org/02dn7x778</idno>
          <orgName>Université Bourgogne Franche-Comté [COMUE]</orgName>
          <orgName type="acronym">UBFC</orgName>
          <date type="start">2015-04-01</date>
          <date type="end">2024-12-31</date>
          <desc>
            <address>
              <addrLine>32, avenue de l’observatoire25000 BESANCON</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ubfc.fr</ref>
          </desc>
        </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-423084" status="VALID">
          <orgName>Department of Formal Methods</orgName>
          <orgName type="acronym">LORIA - FM</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/formal-methods/</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="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>
      </listOrg>
    </back>
  </text>
</TEI>