1171 search results - page 4 / 235 » A Logical Language for Expressing Authorizations |
169
click to vote
CSFW
2008
IEEE
16 years 11 days ago
2008
IEEE
We present an authorization logic that permits reasoning with explicit time. Following a proof-theoretic approach, we study the meta-theory of the logic, including cut elimination...
152
click to vote
LICS
2002
IEEE
15 years 10 months ago
2002
IEEE
Monadic query languages over trees currently receive considerable interest in the database community, as the problem of selecting nodes from a tree is the most basic and widesprea...
149
click to vote
ICLP
2007
Springer
16 years 1 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
162
click to vote
CCS
2007
ACM
16 years 2 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...