Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework
Visualitza/Obre
Cita com:
hdl:2117/82625
Tipus de documentText en actes de congrés
Data publicació2015
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In this paper we show that the logical framework proposed by Becker et al. [1] 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 in 1989 to deal with scoping and/or modules in logic programming. 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 system is defined and a system based on SAT is used to prove whether properties about credentials, permissions
and policies are valid, i.e. true under all possible policies. Our
contributions in this paper are three. First, we show that this kind
of validation can rely on an operational semantics (derivability
relation) of a language very similar to Miller’s language, which is
very close to derivability in logic programs. Second, we are able
to establish that, as in propositional logic, validity of formulas
is a co-NP-complete problem. And third, we present a provably
correct implementation of a goal-oriented algorithm for validity.
CitacióEdelmira Pasarella, Lobo, Jorge. Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework. A: IEEE Computer Security Foundations Symposium. "IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015". Verona: Institute of Electrical and Electronics Engineers (IEEE), 2015, p. 232-242.
ISBN978-1-4673-7538-2
Versió de l'editorhttp://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7243288
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Pasarella.pdf | 201,9Kb | Visualitza/Obre |