<?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-00548212</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-18T20:08:55+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Entropy and Attack Models in Information Flow</title>
            <author role="aut">
              <persName>
                <forename type="first">Mário</forename>
                <forename type="middle">S.</forename>
                <surname>Alvim</surname>
              </persName>
              <email type="md5">9d04b811cae109e6708137a0cbe1650f</email>
              <email type="domain">lix.polytechnique.fr</email>
              <idno type="idhal" notation="numeric">870661</idno>
              <idno type="halauthorid" notation="string">20689-870661</idno>
              <affiliation ref="#struct-56040"/>
            </author>
            <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-53282"/>
            </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>
            <editor role="depositor">
              <persName>
                <forename>Catuscia</forename>
                <surname>Palamidessi</surname>
              </persName>
              <email type="md5">34f5bcd78253ee58641d9ee45a41b133</email>
              <email type="domain">lix.polytechnique.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2016-01-07 15:00:58</date>
              <date type="whenModified">2025-10-24 17:26:03</date>
              <date type="whenReleased">2016-01-11 10:12:20</date>
              <date type="whenProduced">2010-09-20</date>
              <date type="whenEndEmbargoed">2016-01-07</date>
              <ref type="file" target="https://hal.science/hal-00548212v1/document">
                <date notBefore="2016-01-07"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00548212v1/file/10.1007_978-3-642-15240-5_4.pdf" id="file-1252376-1332341">
                <date notBefore="2016-01-07"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-15240-5_4.pdf"/>
            </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-00548212</idno>
            <idno type="halUri">https://hal.science/hal-00548212</idno>
            <idno type="halBibtex">alvim:hal-00548212</idno>
            <idno type="halRefHtml">&lt;i&gt;6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC)&lt;/i&gt;, Sep 2010, Brisbane, Australia. pp.53-54, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-15240-5_4"&gt;&amp;#x27E8;10.1007/978-3-642-15240-5_4&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.53-54, &amp;#x27E8;10.1007/978-3-642-15240-5_4&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1252376-1332341"/></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="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IFIP-AICT" corresp="IFIP">IFIP Advances in Information and Communication Technology</idno>
            <idno type="stamp" n="IFIP-AICT-323" corresp="IFIP-AICT">Theoretical Computer Science</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="IFIP-TC" corresp="IFIP">IFIP Technical Committees </idno>
            <idno type="stamp" n="IFIP-WG" corresp="IFIP">Working Groups</idno>
            <idno type="stamp" n="IFIP-TC2" corresp="IFIP-TC">IFIP TC 2: Software:Theory and Practice</idno>
            <idno type="stamp" n="IFIP-TCS">IFIP-TCS</idno>
            <idno type="stamp" n="IFIP-WG2-2">WG2-2: Formal Description of Programming Concepts</idno>
            <idno type="stamp" n="IFIP-WCC">World Computer Congress</idno>
            <idno type="stamp" n="DEPARTEMENT-DE-MATHEMATIQUES">Collection du Département de Mathématiques</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="1">Yes</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">Entropy and Attack Models in Information Flow</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Mário</forename>
                    <forename type="middle">S.</forename>
                    <surname>Alvim</surname>
                  </persName>
                  <email type="md5">9d04b811cae109e6708137a0cbe1650f</email>
                  <email type="domain">lix.polytechnique.fr</email>
                  <idno type="idhal" notation="numeric">870661</idno>
                  <idno type="halauthorid" notation="string">20689-870661</idno>
                  <affiliation ref="#struct-56040"/>
                </author>
                <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-53282"/>
                </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>
              </analytic>
              <monogr>
                <title level="m">IFIP Advances in Information and Communication Technology</title>
                <meeting>
                  <title>6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC)</title>
                  <date type="start">2010-09-20</date>
                  <date type="end">2010-09-23</date>
                  <settlement>Brisbane</settlement>
                  <country key="AU">Australia</country>
                </meeting>
                <editor>Cristian S. Calude; Vladimiro Sassone</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Theoretical Computer Science</biblScope>
                  <biblScope unit="volume">AICT-323</biblScope>
                  <biblScope unit="pp">53-54</biblScope>
                  <date type="datePub">2010</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-15240-5_4</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</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>Köpf and Basin have discussed the relation between brute-force guessing attacks and entropy, in the context of information flow induced by a deterministic program. In this talk, we extend the analysis of Köpf and Basin to the probabilistic scenario, and we consider also other notions of entropy, including the family of entropies proposed by Rényi.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 2</org>
              <org type="consortium">WG 2.2</org>
            </particDesc>
          </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-53282" status="VALID">
          <orgName>Computing Science Department</orgName>
          <orgName type="acronym">CS</orgName>
          <desc>
            <address>
              <addrLine>Radboud University of Nijmegen Faculty of Science Institute for Computing and Information Sciences Postbus 9010 6500 GL Nijmegen</addrLine>
              <country key="NL"/>
            </address>
            <ref type="url">http://www.cs.ru.nl/</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-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>
    </back>
  </text>
</TEI>