5252 search results - page 40 / 1051 » Logic in Access Control |
115
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
106
click to vote
EWSA
2004
Springer
15 years 6 months ago
2004
Springer
Model Driven Architecture (MDA) is an initiative of the OMG in which the software development process is driven by various software-related models describing the software to be gen...
113
Voted
ATAL
2006
Springer
15 years 2 months ago
2006
Springer
The `Cooperation Logic of Propositional Control', cl-pc, of van der Hoek and Wooldridge is a logic for reasoning about the ability of agents and groups of agents to obtain a ...
FROCOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We investigate the extension of modal logics by bisimulation quantifiers and present a class of modal logics which is decidable when augmented with bisimulation quanti...
111
Voted
SIGMOD
2003
ACM
15 years 5 months ago
2003
ACM
: The “Grid” is an emerging infrastructure for coordinating access across autonomous organizations to distributed, heterogeneous computation and data resources. Data grids are ...