Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace:

An operational framework to reason about policy behavior in trust management systems
Pasarella Sánchez, Ana Edelmira; Lobo, Jorge
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
In 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.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Logic programming
Programació lògica
Artículo - Borrador

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Pasarella Sánchez, Ana Edelmira; Orejas Valdés, Fernando; Pino Blanco, Elvira; Navarro, Marisa
Pasarella Sánchez, Ana Edelmira; Pino Blanco, Elvira; Orejas Valdés, Fernando
Pasarella Sánchez, Ana Edelmira; Vidal Serodio, Maria Esther; Zoltan Torres, Ana Cristina
Pasarella Sánchez, Ana Edelmira; Vidal, Maria-Esther; Zoltan Torres, Ana Cristina