<?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 inria-00593654v2</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-21T05:36:19+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Dynamics in Delegation and Revocation Schemes: A Logical Approach</title>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Aucher</surname>
              </persName>
              <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
              <email type="domain">univ-rennes1.fr</email>
              <idno type="idhal" notation="string">guillaume-aucher</idno>
              <idno type="idhal" notation="numeric">754897</idno>
              <idno type="halauthorid" notation="string">54987-754897</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2781-2688</idno>
              <affiliation ref="#struct-2515"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Steve</forename>
                <surname>Barker</surname>
              </persName>
              <idno type="halauthorid">557783-0</idno>
              <affiliation ref="#struct-53051"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Guido</forename>
                <surname>Boella</surname>
              </persName>
              <idno type="halauthorid">524854-0</idno>
              <affiliation ref="#struct-83587"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Valerio</forename>
                <surname>Genovese</surname>
              </persName>
              <idno type="halauthorid">557784-0</idno>
              <affiliation ref="#struct-83587"/>
              <affiliation ref="#struct-139939"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Leendert</forename>
                <surname>van Der Torre</surname>
              </persName>
              <idno type="halauthorid">524855-0</idno>
              <affiliation ref="#struct-139939"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Aucher</surname>
              </persName>
              <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
              <email type="domain">univ-rennes1.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2011-05-16 20:33:13</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2013-09-08 19:31:06</date>
              <date type="whenModified">2025-03-28 03:09:47</date>
              <date type="whenReleased">2013-09-09 13:44:35</date>
              <date type="whenProduced">2011-07-11</date>
              <date type="whenEndEmbargoed">2013-09-08</date>
              <ref type="file" target="https://inria.hal.science/inria-00593654v2/document">
                <date notBefore="2013-09-08"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://inria.hal.science/inria-00593654v2/file/10.1007-978-3-642-22348-8_9.pdf" id="file-859502-599049">
                <date notBefore="2013-09-08"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-22348-8_9.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="156493">
                <persName>
                  <forename>Guillaume</forename>
                  <surname>Aucher</surname>
                </persName>
                <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
                <email type="domain">univ-rennes1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">inria-00593654</idno>
            <idno type="halUri">https://inria.hal.science/inria-00593654</idno>
            <idno type="halBibtex">aucher:inria-00593654</idno>
            <idno type="halRefHtml">&lt;i&gt;23th Data and Applications Security (DBSec)&lt;/i&gt;, Jul 2011, Richmond, United States. pp.90-105, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-22348-8_9"&gt;&amp;#x27E8;10.1007/978-3-642-22348-8_9&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">23th Data and Applications Security (DBSec), Jul 2011, Richmond, United States. pp.90-105, &amp;#x27E8;10.1007/978-3-642-22348-8_9&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-859502-599049"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="EC-PARIS">Ecole Centrale Paris</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</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="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="INRIA-RENNES">INRIA Rennes - Bretagne Atlantique</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</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-LNCS" corresp="IFIP">IFIP - Lecture Notes in Computer Science</idno>
            <idno type="stamp" n="IFIP">IFIP - International Federation for Information Processing</idno>
            <idno type="stamp" n="IRISA-D2">RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES</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-TC11" corresp="IFIP-TC">IFIP TC11: Security and Privacy Protection in Information Processing Systems</idno>
            <idno type="stamp" n="IFIP-WG11-3" corresp="IFIP-WG">WG 11.3: Data and Application Security and Privacy</idno>
            <idno type="stamp" n="IFIP-DBSEC" corresp="IFIP">DBSec: Data and Applications Security</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="IFIP-LNCS-6818" corresp="IFIP-LNCS">Data and Applications Security and Privacy XXV</idno>
            <idno type="stamp" n="TEST-UNIV-RENNES">TEST Université de Rennes</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INRIA-RENGRE">INRIA-RENGRE</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 4: Access Control II</note>
            <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">Dynamics in Delegation and Revocation Schemes: A Logical Approach</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Aucher</surname>
                  </persName>
                  <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
                  <email type="domain">univ-rennes1.fr</email>
                  <idno type="idhal" notation="string">guillaume-aucher</idno>
                  <idno type="idhal" notation="numeric">754897</idno>
                  <idno type="halauthorid" notation="string">54987-754897</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2781-2688</idno>
                  <affiliation ref="#struct-2515"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Steve</forename>
                    <surname>Barker</surname>
                  </persName>
                  <idno type="halauthorid">557783-0</idno>
                  <affiliation ref="#struct-53051"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Guido</forename>
                    <surname>Boella</surname>
                  </persName>
                  <idno type="halauthorid">524854-0</idno>
                  <affiliation ref="#struct-83587"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Valerio</forename>
                    <surname>Genovese</surname>
                  </persName>
                  <idno type="halauthorid">557784-0</idno>
                  <affiliation ref="#struct-83587"/>
                  <affiliation ref="#struct-139939"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Leendert</forename>
                    <surname>van Der Torre</surname>
                  </persName>
                  <idno type="halauthorid">524855-0</idno>
                  <affiliation ref="#struct-139939"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>23th Data and Applications Security (DBSec)</title>
                  <date type="start">2011-07-11</date>
                  <date type="end">2011-07-13</date>
                  <settlement>Richmond</settlement>
                  <country key="US">United States</country>
                </meeting>
                <editor>Yingjiu Li</editor>
                <imprint>
                  <publisher>Springer</publisher>
                  <biblScope unit="serie">Data and Applications Security and Privacy XXV</biblScope>
                  <biblScope unit="volume">LNCS-6818</biblScope>
                  <biblScope unit="pp">90-105</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-22348-8_9</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="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>In this paper we first introduce a logic for describing formally a family of delegation and revocation models that are based on the work in Hagström et al. We then extend our logic to accommodate an epistemic interpretation of trust within the framework that we define. What emerges from this work is a rich framework of formally well-de fined delegation and revocation schemes that accommodates an important trust component.</p>
            </abstract>
            <particDesc>
              <org type="consortium">TC 11</org>
              <org type="consortium">WG 11.3</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-2515" status="OLD">
          <idno type="RNSR">200418351J</idno>
          <orgName>Distributed and Iterative Algorithms for the Management of Telecommunications Systems</orgName>
          <orgName type="acronym">DISTRIBCOM</orgName>
          <date type="start">2004-05-03</date>
          <date type="end">2012-12-31</date>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu 35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/distribcom</ref>
          </desc>
          <listRelation>
            <relation active="#struct-2494" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="indirect"/>
            <relation active="#struct-419153" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-53051" status="VALID">
          <orgName>Department of Computer Science</orgName>
          <orgName type="acronym">DCS</orgName>
          <desc>
            <address>
              <addrLine>Strand, London WC2R 2LS, England, United Kingdom. Tel +44 (0)20 7836 5454</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.kcl.ac.uk/schools/pse/dcs/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-327716" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-83587" status="VALID">
          <orgName>Dipartimento di Informatica [Torino]</orgName>
          <desc>
            <address>
              <addrLine>Università di Torino</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.di.unito.it/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-47709" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-139939" status="VALID">
          <orgName>Individual and Collective Reasoning</orgName>
          <orgName type="acronym">ICR</orgName>
          <desc>
            <address>
              <country key="LU"/>
            </address>
            <ref type="url">http://icr.uni.lu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-366875" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-2494" status="OLD">
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">1980-01-01</date>
          <date type="end">1999-12-31</date>
          <desc>
            <address>
              <addrLine>Campus universitaire de Beaulieu - 35042 Rennes</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="ESA6074 / URA227" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <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="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="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-419153" status="VALID">
          <idno type="RNSR">198018249C</idno>
          <idno type="ROR">https://ror.org/04040yw90</idno>
          <orgName>Centre Inria de l'Université de Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de beaulieu35042 Rennes cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/rennes</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-327716" status="VALID">
          <orgName>King‘s College London</orgName>
          <desc>
            <address>
              <addrLine>Strand Campus, London WC2R 2LS</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.kcl.ac.uk</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-47709" status="VALID">
          <idno type="IdRef">027548325</idno>
          <idno type="ROR">https://ror.org/048tbm396</idno>
          <orgName>Università degli studi di Torino = University of Turin</orgName>
          <orgName type="acronym">UNITO</orgName>
          <date type="start">1404-01-01</date>
          <desc>
            <address>
              <addrLine>Via Verdi, 8 10124 Torino Italie</addrLine>
              <country key="IT"/>
            </address>
            <ref type="url">http://www.unito.it/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-366875" status="VALID">
          <idno type="IdRef">124635016</idno>
          <idno type="ISNI">0000000122959843</idno>
          <idno type="ROR">https://ror.org/036x5ad56</idno>
          <idno type="Wikidata">Q59668</idno>
          <orgName>Université du Luxembourg = University of Luxembourg = Universität Luxemburg</orgName>
          <orgName type="acronym">uni.lu</orgName>
          <date type="start">2003-01-01</date>
          <desc>
            <address>
              <addrLine>Université du Luxembourg [Siège] – 2, place de l’Université – L-4365 Esch-sur-Alzette – Luxembourg</addrLine>
              <country key="LU"/>
            </address>
            <ref type="url">http://wwwfr.uni.lu/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>