1612 search results - page 149 / 323 » About models of security protocols |
128
click to vote
COORDINATION
2009
Springer
16 years 4 months ago
2009
Springer
In protocol development for wireless systems, the choice of appropriate mobility models describing the movement patterns of devices has long been recognised as a crucial factor for...
160
click to vote
CRYPTO
2007
Springer
15 years 10 months ago
2007
Springer
Round complexity is a central measure of efficiency, and characterizing the round complexity of various cryptographic tasks is of both theoretical and practical importance. We show...
153
click to vote
CSFW
2004
IEEE
15 years 8 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
187
click to vote
ESORICS
2009
Springer
16 years 5 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
157
click to vote
JUCS
2008
15 years 3 months ago
2008
: In the paper we study parallel key exchange among multiple parties. The status of parallel key exchange can be depicted by a key graph. In a key graph, a vertex represents a part...