1286 search results - page 34 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
129
click to vote
ICDCS
2002
IEEE
15 years 7 months 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...
114
Voted
CONCUR
2005
Springer
15 years 8 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 ...
120
Voted
IPPS
2005
IEEE
15 years 8 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 ...
115
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Much of today's distributed computing takes place in a client/server model. Despite advances in fault tolerance
122
Voted
CCS
2010
ACM
15 years 9 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...