1286 search results - page 34 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
ICDCS
2002
IEEE
14 years 16 days ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, our contributions are two-fold: First, we enhance the Min-Min and Sufferage heuristics under three risk modes driven by security concerns. Second, we propose a new ...
CCS
2006
ACM
13 years 11 months ago
2006
ACM
Much of today's distributed computing takes place in a client/server model. Despite advances in fault tolerance
CCS
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we propose a new practical identity-based encryption scheme which is suitable for wireless sensor network (WSN). We call it Receiver-Bounded Online/Offline Identity...