Sciweavers

SP
2000
IEEE

A Practically Implementable and Tractable Delegation Logic

14 years 5 months ago
A Practically Implementable and Tractable Delegation Logic
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e., language) for authorization in largescale, open, distributed systems. As introduced in [22], 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 an 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 imple...
Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
Added 01 Aug 2010
Updated 01 Aug 2010
Type Conference
Year 2000
Where SP
Authors Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum
Comments (0)