2012 IEEE Symposium on Security and Privacy (2000)
May 14, 2000 to May 17, 2000
Benjamin Grosof , IBM T.J. Watson Research Center
Ninghui Li , New York University
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
Benjamin Grosof, Ninghui Li, Joan Feigenbaum, "A Practically Implementable and Tractable Delegation Logic", 2012 IEEE Symposium on Security and Privacy, vol. 00, no. , pp. 0027, 2000, doi:10.1109/SECPRI.2000.848444