Loading...
Loading...

Go to the content (press return)

An operational framework to reason about policy behavior in trust management systems

Author
Edelmira Pasarella; Lobo, J.
Type of activity
Presentation of work at congresses
Name of edition
8th Alberto Mendelzon Workshop on Foundations of Data Management
Date of publication
2014
Presentation's date
2014-06-05
Book of congress proceedings
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)
Project funding
ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)
Métodos formales y algoritmos para el diseño de sistemas
Repository
http://hdl.handle.net/2117/24093 Open in new window
URL
http://ceur-ws.org/Vol-1189/ Open in new window
Abstract
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 i...
Citation
Edelmira 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.
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments