<?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-01586585</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:26+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">History-Dependent Inference Control of Queries by Dynamic Policy Adaption</title>
            <author role="aut">
              <persName>
                <forename type="first">Joachim</forename>
                <surname>Biskup</surname>
              </persName>
              <email type="md5">bc37010be860b9426206b50bf07e07b6</email>
              <email type="domain">cs.tu-dortmund.de</email>
              <idno type="idhal" notation="numeric">1010042</idno>
              <idno type="halauthorid" notation="string">854841-1010042</idno>
              <affiliation ref="#struct-133089"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Hal</forename>
                <surname>Ifip</surname>
              </persName>
              <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2017-09-13 08:56:01</date>
              <date type="whenModified">2026-04-13 09:42:02</date>
              <date type="whenReleased">2017-09-13 14:28:20</date>
              <date type="whenProduced">2011-07-11</date>
              <date type="whenEndEmbargoed">2014-01-01</date>
              <ref type="file" target="https://inria.hal.science/hal-01586585v1/document">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01586585v1/file/978-3-642-22348-8_10_Chapter.pdf" id="file-1586585-1638312">
                <date notBefore="2014-01-01"/>
              </ref>
              <ref type="externalLink" target="https://link.springer.com/content/pdf/10.1007%2F978-3-642-22348-8_10.pdf"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="200187">
                <persName>
                  <forename>Hal</forename>
                  <surname>Ifip</surname>
                </persName>
                <email type="md5">2073ac78024b6e13f2714db96e9b1e63</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01586585</idno>
            <idno type="halUri">https://inria.hal.science/hal-01586585</idno>
            <idno type="halBibtex">biskup:hal-01586585</idno>
            <idno type="halRefHtml">&lt;i&gt;23th Data and Applications Security (DBSec)&lt;/i&gt;, Jul 2011, Richmond, VA, United States. pp.106-121, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-642-22348-8_10"&gt;&amp;#x27E8;10.1007/978-3-642-22348-8_10&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.106-121, &amp;#x27E8;10.1007/978-3-642-22348-8_10&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by/4.0/">CC BY 4.0 - Attribution<ref corresp="#file-1586585-1638312"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <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="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="IFIP-LNCS-6818" corresp="IFIP-LNCS">Data and Applications Security and Privacy XXV</idno>
          </seriesStmt>
          <notesStmt>
            <note type="commentary">Part 5: Data Confidentiality and Query Verification</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">History-Dependent Inference Control of Queries by Dynamic Policy Adaption</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Joachim</forename>
                    <surname>Biskup</surname>
                  </persName>
                  <email type="md5">bc37010be860b9426206b50bf07e07b6</email>
                  <email type="domain">cs.tu-dortmund.de</email>
                  <idno type="idhal" notation="numeric">1010042</idno>
                  <idno type="halauthorid" notation="string">854841-1010042</idno>
                  <affiliation ref="#struct-133089"/>
                </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, VA</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">106-121</biblScope>
                  <date type="datePub">2011</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-642-22348-8_10</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">view</term>
                <term xml:lang="en">refusal</term>
                <term xml:lang="en">propositional logic</term>
                <term xml:lang="en">policy adaption</term>
                <term xml:lang="en">interaction history</term>
                <term xml:lang="en">information system</term>
                <term xml:lang="en">inference control</term>
                <term xml:lang="en">Controlled Query Evaluation</term>
                <term xml:lang="en">confidentiality policy</term>
                <term xml:lang="en">closed query</term>
                <term xml:lang="en">a priori knowledge</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</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>Policy-based inference control of queries submitted to a logic-oriented information system requires us to consider the history of queries and answers to a particular user. In most previous approaches, the control system captures the history by maintaining a fictitious view the user is supposed to generate by exploiting rational reasoning. In this paper, we propose and explore an alternative option to represent the history, namely by suitably adapting the confidentiality policy after returning an answer to a query. Basically, such a policy adaption precomputes all relevant steps of formal proofs that the fictitious view logically implies some policy element. We focus on propositional information systems.</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="institution" xml:id="struct-133089" status="VALID">
          <idno type="ROR">https://ror.org/01k97gp34</idno>
          <orgName>Technische Universität Dortmund = TU Dortmund University</orgName>
          <orgName type="acronym">TU</orgName>
          <desc>
            <address>
              <addrLine>August-Schmidt-Straße 1, 44227 Dortmund</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">https://www.tu-dortmund.de/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>