<?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-00573447</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-20T00:33:47+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Information Hiding in Probabilistic Concurrent Systems (journal version)</title>
            <author role="aut">
              <persName>
                <forename type="first">Miguel</forename>
                <forename type="middle">E.</forename>
                <surname>Andrés</surname>
              </persName>
              <idno type="halauthorid">435557-0</idno>
              <affiliation ref="#struct-56040"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Catuscia</forename>
                <surname>Palamidessi</surname>
              </persName>
              <email type="md5">34f5bcd78253ee58641d9ee45a41b133</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="string">catuscia-palamidessi</idno>
              <idno type="idhal" notation="numeric">1106247</idno>
              <idno type="halauthorid" notation="string">252347-1106247</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4597-7002</idno>
              <affiliation ref="#struct-56040"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ana</forename>
                <surname>Sokolova</surname>
              </persName>
              <idno type="halauthorid">517157-0</idno>
              <affiliation ref="#struct-136129"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Peter</forename>
                <surname>van Rossum</surname>
              </persName>
              <idno type="halauthorid">150126-0</idno>
              <affiliation ref="#struct-94495"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Catuscia</forename>
                <surname>Palamidessi</surname>
              </persName>
              <email type="md5">34f5bcd78253ee58641d9ee45a41b133</email>
              <email type="domain">lix.polytechnique.fr</email>
            </editor>
            <funder ref="#projanr-31136"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2011-05-19 08:55:28</date>
              <date type="whenWritten">2011</date>
              <date type="whenModified">2025-10-24 17:26:03</date>
              <date type="whenReleased">2011-05-19 14:59:37</date>
              <date type="whenProduced">2011</date>
              <date type="whenEndEmbargoed">2011-05-19</date>
              <ref type="file" target="https://hal.science/hal-00573447v1/document">
                <date notBefore="2011-05-19"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00573447v1/file/IHPCS.pdf" id="file-573447-691508">
                <date notBefore="2011-05-19"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123783">
                <persName>
                  <forename>Catuscia</forename>
                  <surname>Palamidessi</surname>
                </persName>
                <email type="md5">34f5bcd78253ee58641d9ee45a41b133</email>
                <email type="domain">lix.polytechnique.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00573447</idno>
            <idno type="halUri">https://hal.science/hal-00573447</idno>
            <idno type="halBibtex">andres:hal-00573447</idno>
            <idno type="halRefHtml">&lt;i&gt;Theoretical Computer Science&lt;/i&gt;, 2011, 412 (28), pp.3072-3089</idno>
            <idno type="halRef">Theoretical Computer Science, 2011, 412 (28), pp.3072-3089</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-573447-691508"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="X">École polytechnique</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="LIX" corresp="X">Laboratoire d'informatique de l'Ecole polytechnique</idno>
            <idno type="stamp" n="LIX-COMETE" corresp="LIX">Comète</idno>
            <idno type="stamp" n="INRIA-SACLAY" corresp="INRIA">INRIA Saclay - Ile de France</idno>
            <idno type="stamp" n="X-DEP-INFO">Département d'informatique de l’École polytechnique</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="ANR">ANR</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">Information Hiding in Probabilistic Concurrent Systems (journal version)</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Miguel</forename>
                    <forename type="middle">E.</forename>
                    <surname>Andrés</surname>
                  </persName>
                  <idno type="halauthorid">435557-0</idno>
                  <affiliation ref="#struct-56040"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Catuscia</forename>
                    <surname>Palamidessi</surname>
                  </persName>
                  <email type="md5">34f5bcd78253ee58641d9ee45a41b133</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="string">catuscia-palamidessi</idno>
                  <idno type="idhal" notation="numeric">1106247</idno>
                  <idno type="halauthorid" notation="string">252347-1106247</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4597-7002</idno>
                  <affiliation ref="#struct-56040"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ana</forename>
                    <surname>Sokolova</surname>
                  </persName>
                  <idno type="halauthorid">517157-0</idno>
                  <affiliation ref="#struct-136129"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Peter</forename>
                    <surname>van Rossum</surname>
                  </persName>
                  <idno type="halauthorid">150126-0</idno>
                  <affiliation ref="#struct-94495"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">19594</idno>
                <idno type="issn">0304-3975</idno>
                <idno type="eissn">1879-2294</idno>
                <title level="j">Theoretical Computer Science</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">412</biblScope>
                  <biblScope unit="issue">28</biblScope>
                  <biblScope unit="pp">3072-3089</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-cr">Computer Science [cs]/Cryptography and Security [cs.CR]</classCode>
              <classCode scheme="halDomain" n="info.info-dc">Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]</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>Information hiding is a general concept which refers to the goal of preventing an adversary to infer secret information from the observables. Anonymity and Information Flow are examples of this notion. We study the problem of information hiding in systems characterized by the coexistence of randomization and concurrency. It is well known that the presence of nondeterminism, due to the possible interleavings and interactions of the parallel components, can cause unintended information leaks. The most established approach to solve this problem is to fix the strategy of the scheduler beforehand. In this work, we propose a milder restriction on the schedulers, and we define the notion of strong (probabilistic) information hiding under various notions of observables. Furthermore, we propose a method, based on the notion of automorphism, to verify that a system satisfies the property of strong information hiding, namely strong anonymity or non-interference, depending on the context. Through the paper, we use the canonical example of the Dining Cryptographers to illustrate our ideas and techniques.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-56040" status="VALID">
          <idno type="RNSR">200818369L</idno>
          <idno type="ROR">https://ror.org/007h9pt55</idno>
          <orgName>Concurrency, Mobility and Transactions</orgName>
          <orgName type="acronym">COMETE</orgName>
          <date type="start">2008-01-01</date>
          <date type="end">2028-12-31</date>
          <desc>
            <address>
              <addrLine>Bât Alan Turing, Campus de l'Ecole Polytechnique, 1 rue Honoré d'Estienne d'orves, 91120 Palaiseau (France)</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/comete</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2071" type="direct"/>
            <relation active="#struct-300340" type="indirect"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="indirect"/>
            <relation active="#struct-1225635" type="direct"/>
            <relation active="#struct-118511" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-136129" status="VALID">
          <orgName>Department of Computer Sciences</orgName>
          <desc>
            <address>
              <addrLine>Department of Computer Sciences University of Salzburg Jakob Haringer Str. 2 A 5020 Salzburg AUSTRIA</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">http://www.cosy.sbg.ac.at/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-82879" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-94495" status="VALID">
          <orgName>Institute for Computing and Information Sciences [Nijmegen]</orgName>
          <orgName type="acronym">ICIS</orgName>
          <desc>
            <address>
              <addrLine>135 , P.O. Box 9010 6525 AJ Nijmegen</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">http://www.ru.nl/icis</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300856" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2071" status="VALID">
          <idno type="IdRef">196509955</idno>
          <idno type="ISNI">0000000403673665</idno>
          <idno type="RNSR">200519331V</idno>
          <idno type="ROR">https://ror.org/04afed728</idno>
          <idno type="Wikidata">Q16009025</idno>
          <orgName>Laboratoire d'informatique de l'École polytechnique [Palaiseau]</orgName>
          <orgName type="acronym">LIX</orgName>
          <date type="start">2005-01-01</date>
          <desc>
            <address>
              <addrLine>1 Rue Honoré d’Estienne d’Orves, Bâtiment Alain Turing, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lix.polytechnique.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300340" type="direct"/>
            <relation active="#struct-563936" type="indirect"/>
            <relation name="UMR7161" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300340" status="VALID">
          <idno type="IdRef">027309320</idno>
          <idno type="ISNI">0000000121581279</idno>
          <idno type="ROR">https://ror.org/05hy3tk52</idno>
          <idno type="Wikidata">Q273626</idno>
          <orgName>École polytechnique</orgName>
          <orgName type="acronym">X</orgName>
          <date type="start">1794-03-11</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91128 Palaiseau Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.polytechnique.edu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-563936" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-563936" status="VALID">
          <idno type="IdRef">238327159</idno>
          <idno type="ISNI">0000000502717600</idno>
          <idno type="ROR">https://ror.org/042tfbd02</idno>
          <idno type="Wikidata">Q48759778</idno>
          <orgName>Institut Polytechnique de Paris</orgName>
          <orgName type="acronym">IP Paris</orgName>
          <date type="start">2019-06-02</date>
          <desc>
            <address>
              <addrLine>Route de Saclay, 91120 Palaiseau Cedex, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.ip-paris.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="department" xml:id="struct-1225635" status="VALID">
          <idno type="ROR">https://ror.org/026839t73</idno>
          <orgName>Centre Inria de l'Institut Polytechnique de Paris</orgName>
          <date type="start">2022-11-01</date>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'Orves –Bâtiment Alan Turing –Campus de l'École Polytechnique –91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-118511" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-118511" status="VALID">
          <idno type="RNSR">200818248E</idno>
          <idno type="ROR">https://ror.org/0315e5x55</idno>
          <orgName>Centre Inria de Saclay</orgName>
          <desc>
            <address>
              <addrLine>1 rue Honoré d'Estienne d'OrvesBâtiment Alan TuringCampus de l'École Polytechnique91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/saclay</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="institution" xml:id="struct-82879" status="VALID">
          <idno type="ROR">https://ror.org/05gs8cd61</idno>
          <orgName>Universität Salzburg</orgName>
          <desc>
            <address>
              <addrLine>Universität Salzburg, Kapitelgasse 4-6, A-5020 Salzburg</addrLine>
              <country key="AT"/>
            </address>
            <ref type="url">http://www.uni-salzburg.at/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300856" status="VALID">
          <idno type="IdRef">112681611</idno>
          <idno type="ROR">https://ror.org/016xsfp80</idno>
          <orgName>Radboud University [Nijmegen]</orgName>
          <desc>
            <address>
              <addrLine>Houtlaan 4, 6525 XZ Nijmegen</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">https://www.ru.nl/en</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-31136" status="VALID">
          <idno type="anr">ANR-09-BLAN-0169</idno>
          <idno type="program">Blanc</idno>
          <orgName>PANDA</orgName>
          <date type="start">2009</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>