May 14, 2000 to May 17, 2000
Ninghui Li , New York University
Benjamin Grosof , IBM T.J. Watson Research Center
Joan Feigenbaum , AT&T Labs
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trust-management system. DL is a logic-based knowledge representation (i.e., language) for authorization in large-scale, open, distributed systems.As introduced in [Li, Feigenbaum, and Grosof 1999], DL inferencing is computationally intractable and highly impractical to implement. We introduce a new version of Delegation Logic that remedies these difficulties. To achieve this, we impose a syntactic restriction and redefine the semantics somewhat. We show that, for this revised version of DL, inferencing is computationally tractable under the same commonly met restrictions for which Ordinary Logic Programs (OLP) inferencing is tractable (e.g., Datalog and bounded number of logical variables per rule).We give implementation architecture for this version of DL; it uses a delegation compiler from DL to OLP and can modularly exploit a variety of existing OLP inference engines. As proof of concept, we have implemented a large expressive subset of this version of DL, using this architecture.
Authorization, access control, delegation, trust management, security policies, knowledge representation, logic programs
Ninghui Li, Benjamin Grosof, Joan Feigenbaum, "A Practically Implementable and Tractable Delegation Logic", SP, 2000, 2012 IEEE Symposium on Security and Privacy, 2012 IEEE Symposium on Security and Privacy 2000, pp. 0027, doi:10.1109/SECPRI.2000.848444