DATALOG with Constraints: A Foundation for Trust Management Languages

By Ninghui Li, John C. Mitchell. International Symposium on Practical Aspects of Declarative Languages, 2003

300 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Sociology and Political Science

View Paper: https://www.semanticscholar.org/paper/30838bffa79823082a3907ccbdd51d57ad2aeda0

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Ninghui Li
2. John C. Mitchell
3. Michael Backes
4. Arjun Narayan
5. Jihun Hamm
6. Mary Anne Smart

In Sociology and Political Science

1. John C. Mitchell
2. Ninghui Li
3. Michael Backes
4. Arjun Narayan
5. Jihun Hamm
6. Mary Anne Smart

Citations in the corpus

• SecPAL: Design and semantics of a decentralized authorization language (2010, unknown): “…constraints (e.g. temporal constraints [16], periodicity [15], set constraints [64]) or are very restrictive to preserve decidability and tractability (e.g. unary constraints [48], constraint-compact domains [13]), and disallow constraints required for expressing idioms commonly used in practice.”
• RT: a Role-based Trust-management framework (2003, methodology): “The focus of this paper is on RT , a Role-based Trustmanagement framework [20, 19, 18] developed in the”