2501 search results - page 382 / 501 » Logics with Rank Operators |
177
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
d abstract) Marcin Jurdzi´nski and Ranko Lazi´c∗ Department of Computer Science, University of Warwick, UK An alternation-free modal µ-calculus over data trees is introduced ...
168
click to vote
CCS
2007
ACM
16 years 18 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
181
click to vote
ESORICS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
151
click to vote
MIDDLEWARE
2007
Springer
16 years 17 days ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...
188
click to vote
POLICY
2007
Springer
16 years 16 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...