Sciweavers

4118 search results - page 377 / 824
» Mechanisms for usage control
Sort
View
FM
1999
Springer
109views Formal Methods» more  FM 1999»
15 years 11 months ago
Compositional Symmetric Sharing in B
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
Martin Büchi, Ralph-Johan Back
CRITIS
2007
15 years 8 months ago
LoRDAS: A Low-Rate DoS Attack against Application Servers
In a communication network, there always exist some specific servers that should be considered a critical infrastructure to be protected, specially due to the nature of the servic...
Gabriel Maciá-Fernández, Jesú...
AAAI
2006
15 years 8 months ago
Using Anticipation to Create Believable Behaviour
Although anticipation is an important part of creating believable behaviour, it has had but a secondary role in the field of life-like characters. In this paper, we show how a sim...
Carlos Martinho, Ana Paiva
MMNS
2000
101views Multimedia» more  MMNS 2000»
15 years 8 months ago
Traffic Management in Isochronets Networks
: This paper presents an evaluation of a traffic management mechanism for high speed networks called RDMA (Route Division Multiple Access), developed as part of the Isochronets, a ...
Kelvin Lopes Dias, José Augusto Suruagy Mon...
DBSEC
2009
122views Database» more  DBSEC 2009»
15 years 8 months ago
An Approach to Security Policy Configuration Using Semantic Threat Graphs
Managing the configuration of heterogeneous enterprise security mechanisms is a wholly complex task. The effectiveness of a configuration may be constrained by poor understanding a...
Simon N. Foley, William M. Fitzgerald