51 search results - page 6 / 11 » A logic of delegation |
LPAR
2010
Springer
13 years 6 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
SACMAT
2009
ACM
14 years 2 months ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...
JAPLL
2008
13 years 7 months ago
2008
Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to...
EUROSYS
2010
ACM
14 years 17 days ago
2010
ACM
Combining access control with weakly consistent replication presents a challenge if the resulting system is to support eventual consistency. If authorization policy can be tempora...
KES
2006
Springer
13 years 7 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...