5499 search results - page 808 / 1100 » Generalized Rewrite Theories |
221
Voted
AUTONOMICS
2008
ACM
15 years 9 months ago
2008
ACM
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
190
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
209
click to vote
CCS
2008
ACM
15 years 9 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
222
Voted
CCS
2008
ACM
15 years 9 months ago
2008
ACM
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege contained in an acce...
191
Voted
CF
2008
ACM
15 years 9 months ago
2008
ACM
Using a new exact synthesizer that automatically induces minimal universal boolean function libraries, we introduce two indicators for comparing their expressiveness: the first ba...