Loading...
Loading...

Go to the content (press return)

Reasoning about policy behavior in logic-based trust management systems: Some complexity results and an operational framework

Author
Edelmira Pasarella; Lobo, Jorge
Type of activity
Journal article
Journal
Proceedings of the IEEE
Date of publication
2015-07-17
First page
232
Last page
242
DOI
https://doi.org/10.1109/CSF.2015.23 Open in new window
Project funding
TIN2013-46181-C2-1-R
Repository
http://hdl.handle.net/2117/82625 Open in new window
URL
http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7243288 Open in new window
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 pro...
Citation
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.
Keywords
Answer set programming, Logic programs, Semantics, Trust management systems
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments