1653 search results - page 184 / 331 » Timed analysis of security protocols |
173
click to vote
ESORICS
2009
Springer
16 years 3 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 ...
139
Voted
SASN
2006
ACM
15 years 8 months ago
2006
ACM
Node misbehavior in wireless ad hoc networks leads to sudden unpredictable changes in network topology, resulting in fluctuation of traffic load and capacity for already existin...
130
Voted
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
113
click to vote
IH
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Currently knownbasic anonymitytechniques dependon identity veri cation. If veri cation of user identities is not possible due to the related management overhead or a gene...
102
click to vote
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
Sensors are tiny computers with limited computational capability and physical resources. The implementation of secure protocols for sensor network is a big challenge. In order to ...