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
Article en revista
Revista
CEUR Workshop proceedings
Data de publicació
2014-07-05
Volum
1189
Projecte finançador
ALGORISMIA, BIOINFORMÀTICA, COMPLEXITAT I METODES FORMALS (ALBCOM)
Métodos formales y algoritmos para el diseño de sistemas
URL
http://ceur-ws.org/Vol-1189/paper_33.pdf 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...
Paraules clau
Embedded implication, Logic programming, Security, Trust management systems, operational semantics
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants