GEM: A distributed goal evaluation algorithm for trust management. Issue 3 (May 2014)
- Record Type:
- Journal Article
- Title:
- GEM: A distributed goal evaluation algorithm for trust management. Issue 3 (May 2014)
- Main Title:
- GEM: A distributed goal evaluation algorithm for trust management
- Authors:
- TRIVELLATO, DANIEL
ZANNONE, NICOLA
ETALLE, SANDRO - Abstract:
- <abstract abstract-type="normal"> <title>Abstract</title> <p>Trust management is an approach to access control in distributed systems where access decisions are based on policy statements issued by multiple principals and stored in a distributed manner. In trust management, the policy statements of a principal can refer to other principals' statements; thus, the process of evaluating an access request (i.e., a goal) consists of finding a "chain" of policy statements that allows the access to the requested resource. Most existing goal evaluation algorithms for trust management either rely on a centralized evaluation strategy, which consists of collecting all the relevant policy statements in a single location (and therefore they do not guarantee the confidentiality of intensional policies), or do not detect the termination of the computation (i.e., when all the answers of a goal are computed). In this paper, we present GEM, a distributed goal evaluation algorithm for trust management systems that relies on function-free logic programming for the specification of policy statements. GEM detects termination in a completely distributed way without disclosing intensional policies, thereby preserving their confidentiality. We demonstrate that the algorithm terminates and is sound and complete with respect to the standard semantics for logic programs.</p> </abstract>
- Is Part Of:
- Theory and practice of logic programming. Volume 14:Issue 3(2014)
- Journal:
- Theory and practice of logic programming
- Issue:
- Volume 14:Issue 3(2014)
- Issue Display:
- Volume 14, Issue 3 (2014)
- Year:
- 2014
- Volume:
- 14
- Issue:
- 3
- Issue Sort Value:
- 2014-0014-0003-0000
- Page Start:
- 293
- Page End:
- 337
- Publication Date:
- 2014-05
- Subjects:
- Logic programming -- Periodicals
Artificial intelligence -- Computer programs -- Periodicals
Constraint programming (Computer science) -- Periodicals
005.115 - Journal URLs:
- https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming ↗
- DOI:
- 10.1017/S1471068412000397 ↗
- Languages:
- English
- ISSNs:
- 1471-0684
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 3920.xml