Olav Bandmann and Mads Dam. A note on SPKI's authorization syntax. In Pre-Proceedings of 1st Annual PKI Research Workshop, April 2002. Available from http://www.cs.dartmouth.edu/pki02/. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Datalog with Constraints: A Foundation for Trust Management.. - Li, Mitchell (2003) (10 citations) (Correct)
....However, the tractability of Datalog is a direct consequence of the absence of function symbols. Previous TM languages that can express certain structured resources, e.g. SPKI [7] have not had a formal foundation; some studies suggest that SPKI may be ambiguously specified and intractable [8, 1]. In this paper, we show that Datalog extended with constraints (denoted by Datalog C ) can define access permissions over structured resources without compromising the properties of Datalog that make it attractive for trust management, thus establishing a suitable logical foundation for a wider ....
....subset of C C # can be represented by the disjunction of constraints in C # . We say that C # is a decomposition of C. Clearly, all hierarchical domains are linearly decomposable. Range domains are also linearly decomposable. For example, a set of constraints C = #, 10] x [5, #) [1, 5] can be decomposed into C # = #, 1) x (5, 10] x (10, #) Discrete domains with sets are also linearly decomposable, as each constraint x is equivalent to the disjunction of # constraints x = c 1 , x = c # . This is linear because the size of the original constraint is ....
Olav Bandmann and Mads Dam. A note on SPKI's authorization syntax. In PreProceedings of 1st Annual PKI Research Workshop, April 2002. Available from http://www.cs.dartmouth.edu/pki02/.
RT: A Role-based Trust-management Framework - Li, Mitchell (2003) (12 citations) (Correct)
No context found.
Olav Bandmann and Mads Dam. A note on SPKI's authorization syntax. In Pre-Proceedings of 1st Annual PKI Research Workshop, April 2002. Available from http://www.cs.dartmouth.edu/pki02/.
Understanding SPKI/SDSI Using First-Order Logic - Ninghui Li John (2003) (2 citations) (Correct)
No context found.
Olav Bandmann and Mads Dam. A note on SPKI's authorization syntax. In Pre-Proceedings of 1st Annual PKI Research Workshop, April 2002. Available from http://www.cs.dartmouth.edu/pki02/.
RT: A Role-based Trust-management Framework - Li, Mitchell (2003) (12 citations) (Correct)
No context found.
Olav Bandmann and Mads Dam. A note on SPKI's authorization syntax. In Pre-Proceedings of 1st Annual PKI Research Workshop, April 2002. Available from http://www.cs.dartmouth.edu/pki02/.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC