288 search results - page 24 / 58 » Algebra and logic for access control |
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
TLDI
2003
ACM
14 years 26 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
SACMAT
2010
ACM
14 years 13 days ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
CCS
2010
ACM
14 years 2 months ago
2010
ACM
Even though role-based access control (RBAC) can tremendously help us minimize the complexity in administering users, it is still needed to realize the notion of roles at the reso...
VLDB
1998
ACM
13 years 11 months ago
1998
ACM
Numerous applications such as stock market or medical information systems require that both historical and current data be logically integrated into a temporal database. The under...