Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Autor
Edelmira Pasarella; Lobo, J.
Tipus d'activitat
Presentació treball a congrés
Nom de l'edició
8th Alberto Mendelzon Workshop on Foundations of Data Management
Any de l'edició
2014
Data de presentació
2014-06-05
Llibre d'actes
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)
Projecte finançador
ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)
Métodos formales y algoritmos para el diseño de sistemas
Repositori
http://hdl.handle.net/2117/24093 Obrir en finestra nova
URL
http://ceur-ws.org/Vol-1189/ Obrir en finestra nova
Resum
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...
Citació
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.
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius