1286 search results - page 103 / 258 » A Practical Modelling Notation for Secure Distributed Comput... |
133
Voted
CL
2007
Springer
15 years 25 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
123
Voted
EUROPAR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Grids are very complex and volatile infrastructures that exhibit parallel and distributed characteristics. To harness their complexity as well as the increasing intricacy...
96
Voted
ESORICS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
110
click to vote
EDCC
2005
Springer
15 years 6 months ago
2005
Springer
The fair exchange problem is key to trading electronic items in systems of mutually untrusted parties. In modern variants of such systems, each party is equipped with a security mo...
109
Voted
CORR
2008
Springer
15 years 27 days ago
2008
Springer
We study the worst-case communication complexity of distributed algorithms computing a path problem based on stationary distributions of random walks in a network G with the caveat...