5252 search results - page 37 / 1051 » Logic in Access Control |
SACMAT
2010
ACM
14 years 3 months ago
2010
ACM
ISLPED
2003
ACM
14 years 3 months ago
2003
ACM
High-performance processors use a large set–associative L1 data cache with multiple ports. As clock speeds and size increase such a cache consumes a significant percentage of t...
RTSS
2002
IEEE
14 years 3 months ago
2002
IEEE
TARK
2009
Springer
14 years 5 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
SACMAT
2009
ACM
14 years 5 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...