3638 search results - page 24 / 728 » Distribution chain security |
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
TC
2008
14 years 9 months ago
2008
In a distributed key distribution scheme, a set of servers help a set of users in a group to securely obtain a common key. Security means that an adversary who corrupts some server...
OOPSLA
2007
Springer
15 years 3 months ago
2007
Springer
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...
CCS
1993
ACM
15 years 1 months ago
1993
ACM
Many recent research e orts in computer security focus on constructing provably secure authentication protocols. Although many of the resulting protocols rely on the a priori secu...