2024 search results - page 65 / 405 » A Logic Based Approach for Dynamic Access Control |
CONCUR
2004
Springer
15 years 5 months ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...
106
click to vote
CONTEXT
2003
Springer
15 years 5 months ago
2003
Springer
In conventional security systems, protected resources such as documents, hardware devices and software applications follow an On/Off access policy. On, allows to grant access and ...
102
click to vote
JSAC
2010
14 years 10 months ago
2010
—Inspired by the biological entities’ ability to achieve reciprocity in the course of evolution, this paper considers a conjecture-based distributed learning approach that enab...
CNIS
2006
15 years 1 months ago
2006
Almost all current anti spam measures are reactive, filtering being the most common. But to react means always to be one step behind. Reaction requires to predict the next action ...
115
click to vote
CDC
2009
IEEE
2009
IEEE
A switched system approach to scheduling of networked control systems with communication constraints
15 years 3 months ago
This paper presents a scheduling strategy for a collection of discrete-time networked control systems (NCSs) subjected to communication constraints. Communication constraints under...