Binder, a logic-based security language
By John DeTreville. Proceedings 2002 IEEE Symposium on Security and Privacy, 2002
353 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Information Systems, Sociology and Political Science
View Paper: https://www.semanticscholar.org/paper/6329861d6c8c5e32e14032751ff28d2789162891
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
- Ninghui Li
- Michael Backes
- John C. Mitchell
- Adam Barth
- Martín Abadi
- Helen Nissenbaum
- Anupam Datta
- Vitaly Shmatikov
In Information Systems
- Michael Backes
- John C. Mitchell
- Ninghui Li
- Anupam Datta
- Adam Barth
- Helen Nissenbaum
- Martín Abadi
- Arjun Narayan
In Sociology and Political Science
- John C. Mitchell
- Ninghui Li
- Michael Backes
- Anupam Datta
- Adam Barth
- Helen Nissenbaum
- Martín Abadi
- Mary Anne Smart
Citations in the corpus
- Automated Synthesis of Privacy-Preserving Distributed Applications (2011, methodology): “We proved that the implementations output by the compiler enforce the intended authorization policies and we conducted an experimental evaluation to demonstrate the feasibility of our approach.”
- RT: a Role-based Trust-management framework (2003, background): “, Delegation Logic [17], SD3 [13], and Binder [10].”
- Trusted Computing, Trusted Third Parties, and Verified Communications (2004, background): “If the request comes from a source S and it is for an operation O on a target object T, the certificates may for example say that S is a member of a group G, that G is included in another group G’, that all members of G’ can perform O on objects owned by a principal P, and that P does in fact own T.”
- Delegation Logic: A Logic-based Approach to Distrbuted Authorization (2000, neutral): “SD3 (Secure Dynamically Distributed Datalog) [25] and Binder [14] both use the approach of extending Datalog with explicit issuers.”
- Privacy and contextual integrity: framework and applications (2006, methodology): “Several access control languages, such as Binder [19] and RT [28], extend RBAC using Datalog.”
- SecPAL: Design and semantics of a decentralized authorization language (2010, neutral): “Shop says univ can say ∞ x is a student till date if univ is a university (25) SPKI/SDSI [31], DL [46], Binder [26], RT [49] and Cassandra [13] can all express attribute-based delegation and linked local name spaces.”
- DATALOG with Constraints: A Foundation for Trust Management Languages (2003, methodology): “Several TM languages are based on Datalog , e.g., Delegation Logic [14, 13], the RT (Role-based Trust-management) framework [15, 16], SD3 (Secure Dy-namically Distributed Datalog ) [10], and Binder [6].”