Datalog with Constraints: A Foundation for Trust Management Languages

This publication has 15 references indexed in Scilit:

• Binder, a logic-based security language
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• Delegation logic
  ACM Transactions on Information and System Security, 2003
• Decentralized trust management
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• SD3: a trust management system with certified evaluation
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Distributed credential chain discovery in trust management
  Published by Association for Computing Machinery (ACM) ,2001
• Constraint Databases
  Published by Springer Nature ,2000
• An access control model supporting periodicity constraints and temporal reasoning
  ACM Transactions on Database Systems, 1998
• Memoing Evaluation for Constraint Extensions of Datalog
  Constraints, 1997
• Constraint Query Languages
  Journal of Computer and System Sciences, 1995
• Constraint logic programming: a survey
  The Journal of Logic Programming, 1994