Show simple item record

dc.contributor.authorPasarella Sánchez, Ana Edelmira
dc.contributor.authorLobo, Jorge
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.date.accessioned2014-09-18T08:12:23Z
dc.date.available2014-09-18T08:12:23Z
dc.date.created2014
dc.date.issued2014
dc.identifier.citationEdelmira Pasarella; Lobo, J. An operational framework to reason about policy behavior in trust management systems. A: Alberto Mendelzon Workshop on Foundations of Data Management. "AMW 2014: Alberto Mendelzon Workshop on Foundations of Data Management: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management: Cartagena de Indias, Colombia, June 4-6, 2014. (CEUR Workshop Proceedings; 1189)". Cartagena de Indias: 2014.
dc.identifier.isbn1613-0073
dc.identifier.urihttp://hdl.handle.net/2117/24093
dc.description.abstractIn this paper we show that the logical framework proposed by Becker et al. to reason about security policy behavior in a trust management context can be captured by an operational framework that is based on the language proposed by Miller to deal with scoping and/or modules in logic programming in 1989. The framework of Becker et al. uses propositional Horn clauses to represent both policies and credentials, implications in clauses are interpreted in counterfactual logic, a Hilbert-style proof is defined and a system based on SAT is used to proof whether properties about credentials, permissions and policies are valid in trust management systems, i.e. formulas that are true for all possible policies. Our contribution is to show that instead of using a SAT system, this kind of validation can rely on the operational semantics (derivability relation) of Miller’s language, which is very close to derivability in logic programs, opening up the possibility to extend Becker et al.’s framework to the more practical first order case since Miller’s language is first order.
dc.format.extent6 p.
dc.language.isoeng
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.lcshLogic programming
dc.titleAn operational framework to reason about policy behavior in trust management systems
dc.typeConference report
dc.subject.lemacProgramació lògica
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.description.peerreviewedPeer Reviewed
dc.relation.publisherversionhttp://ceur-ws.org/Vol-1189/
dc.rights.accessOpen Access
drac.iddocument14977382
dc.description.versionPreprint
upcommons.citation.authorEdelmira Pasarella; Lobo, J.
upcommons.citation.contributorAlberto Mendelzon Workshop on Foundations of Data Management
upcommons.citation.pubplaceCartagena de Indias
upcommons.citation.publishedtrue
upcommons.citation.publicationNameAMW 2014: Alberto Mendelzon Workshop on Foundations of Data Management: Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management: Cartagena de Indias, Colombia, June 4-6, 2014. (CEUR Workshop Proceedings; 1189)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder