<?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-01995964</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-19T07:44:07+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Resiliency Policies in Access Control Revisited</title>
            <author role="aut">
              <persName>
                <forename type="first">Jason</forename>
                <surname>Crampton</surname>
              </persName>
              <idno type="halauthorid">854789-0</idno>
              <affiliation ref="#struct-300800"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gregory</forename>
                <surname>Gutin</surname>
              </persName>
              <idno type="halauthorid">427413-0</idno>
              <affiliation ref="#struct-228022"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Rémi</forename>
                <surname>Watrigant</surname>
              </persName>
              <email type="md5">4f2192d2030f8cf751190a5cfc3c2a9e</email>
              <email type="domain">univ-lyon1.fr</email>
              <idno type="idhal" notation="string">remi-watrigant</idno>
              <idno type="idhal" notation="numeric">171721</idno>
              <idno type="halauthorid" notation="string">34513-171721</idno>
              <idno type="IDREF">https://www.idref.fr/199341230</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6243-5910</idno>
              <affiliation ref="#struct-228022"/>
              <affiliation ref="#struct-388266"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Remi</forename>
                <surname>Watrigant</surname>
              </persName>
              <email type="md5">4f2192d2030f8cf751190a5cfc3c2a9e</email>
              <email type="domain">univ-lyon1.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-01-28 09:38:40</date>
              <date type="whenModified">2023-03-24 14:53:09</date>
              <date type="whenReleased">2019-01-28 09:38:40</date>
              <date type="whenProduced">2016-06-06</date>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="588186">
                <persName>
                  <forename>Remi</forename>
                  <surname>Watrigant</surname>
                </persName>
                <email type="md5">4f2192d2030f8cf751190a5cfc3c2a9e</email>
                <email type="domain">univ-lyon1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01995964</idno>
            <idno type="halUri">https://hal.science/hal-01995964</idno>
            <idno type="halBibtex">crampton:hal-01995964</idno>
            <idno type="halRefHtml">&lt;i&gt;SACMAT: Symposium on Access Control Models and Technologies&lt;/i&gt;, Jun 2016, Shanghai, China. pp.101-111, &lt;a target="_blank" href="https://dx.doi.org/10.1145/2914642.2914650"&gt;&amp;#x27E8;10.1145/2914642.2914650&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">SACMAT: Symposium on Access Control Models and Technologies, Jun 2016, Shanghai, China. pp.101-111, &amp;#x27E8;10.1145/2914642.2914650&amp;#x27E9;</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="MAORE" corresp="LIRMM">Méthodes Algorithmes pour l'Ordonnancement et les Réseaux</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="MIPS">Mathématiques, Informatique, Physique et Systèmes</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</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">Resiliency Policies in Access Control Revisited</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Jason</forename>
                    <surname>Crampton</surname>
                  </persName>
                  <idno type="halauthorid">854789-0</idno>
                  <affiliation ref="#struct-300800"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gregory</forename>
                    <surname>Gutin</surname>
                  </persName>
                  <idno type="halauthorid">427413-0</idno>
                  <affiliation ref="#struct-228022"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Rémi</forename>
                    <surname>Watrigant</surname>
                  </persName>
                  <email type="md5">4f2192d2030f8cf751190a5cfc3c2a9e</email>
                  <email type="domain">univ-lyon1.fr</email>
                  <idno type="idhal" notation="string">remi-watrigant</idno>
                  <idno type="idhal" notation="numeric">171721</idno>
                  <idno type="halauthorid" notation="string">34513-171721</idno>
                  <idno type="IDREF">https://www.idref.fr/199341230</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6243-5910</idno>
                  <affiliation ref="#struct-228022"/>
                  <affiliation ref="#struct-388266"/>
                </author>
              </analytic>
              <monogr>
                <title level="m">21st ACM on Symposium on Access Control Models and Technologies</title>
                <meeting>
                  <title>SACMAT: Symposium on Access Control Models and Technologies</title>
                  <date type="start">2016-06-06</date>
                  <date type="end">2016-06-08</date>
                  <settlement>Shanghai</settlement>
                  <country key="CN">China</country>
                </meeting>
                <imprint>
                  <publisher>ACM Press</publisher>
                  <biblScope unit="pp">101-111</biblScope>
                  <date type="datePub">2016</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1145/2914642.2914650</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</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>Resiliency is a relatively new topic in the context of access control. Informally, it refers to the extent to which a multi-user computer system, subject to an authorization policy, is able to continue functioning if a number of authorized users are unavailable. Several interesting problems connected to resiliency were introduced by Li, Wang and Tripunitara [13], many of which were found to be intractable. In this paper, we show that these resiliency problems have unexpected connections with the workflow satisfiability problem (WSP). In particular, we show that an instance of the resiliency checking problem (RCP) may be reduced to an instance of WSP. We then demonstrate that recent advances in our understanding of WSP enable us to develop fixed-parameter tractable algorithms for RCP. Moreover, these algorithms are likely to be useful in practice, given recent experimental work demonstrating the advantages of bespoke algorithms to solve WSP. We also generalize RCP in several different ways, showing in each case how to adapt the reduction to WSP. Li et al also showed that the coexistence of resiliency policies and static separation-of-duty policies gives rise to further interesting questions. We show how our reduction of RCP to WSP may be extended to solve these problems as well and establish that they are also fixed-parameter tractable.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-300800" status="VALID">
          <idno type="ROR">https://ror.org/04g2vpn86</idno>
          <orgName>Royal Holloway [University of London]</orgName>
          <orgName type="acronym">RHUL</orgName>
          <desc>
            <address>
              <addrLine>Egham, Surrey, TW20 0EX</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">https://www.royalholloway.ac.uk/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-228022" status="VALID">
          <orgName>Department of Computer Science [Royal Holloway]</orgName>
          <desc>
            <address>
              <addrLine>Royal Holloway, University of London Egham, Surrey, TW20 0EX</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.rhul.ac.uk/computerscience/home.aspx</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300800" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-388266" status="OLD">
          <orgName>Methods, Algorithms for Operations REsearch</orgName>
          <orgName type="acronym">MAORE</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/MAORE/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-181" type="direct"/>
            <relation name="UMR5506" active="#struct-410122" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-181" status="OLD">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">1995-01-01</date>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR5506" active="#struct-410122" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-410122" status="OLD">
          <idno type="ISNI">0000000120970141</idno>
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="end">2021-12-31</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.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>
      </listOrg>
    </back>
  </text>
</TEI>