2024 search results - page 83 / 405 » A Logic Based Approach for Dynamic Access Control |
124
click to vote
ICLP
1993
Springer
15 years 7 months ago
1993
Springer
A basic requirement of declarative programming is to free the programmer from the need to manually insert control annotations into the program. Here we study the execution of logi...
149
Voted
SACMAT
2010
ACM
15 years 1 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...
134
click to vote
EEMMAS
2007
Springer
15 years 9 months ago
2007
Springer
Behind the curtains at check-in desks in airports hide some of the most complex material handling systems, which manage to get your bag transported to the correct departure gate of...
146
click to vote
KI
2007
Springer
15 years 9 months ago
2007
Springer
This paper describes a spatio-temporal configurations building approach, which has been applied to dynamics points in 1-dimensional space. In this approach, a temporal logic, Allen...
139
click to vote
ILP
2005
Springer
15 years 8 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...