147 search results - page 24 / 30 » An intruder model for verifying liveness in security protoco... |
183
click to vote
MOBIHOC
2005
ACM
16 years 5 months ago
2005
ACM
Mobile ad hoc networks (MANETs) are vulnerable to routing attacks, especially attacks launched by non-cooperative (selfish or compromised) network members and appear to be protoco...
143
click to vote
EUROCRYPT
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. The notion of resettable zero-knowledge (rZK) was introduced by Canetti, Goldreich, Goldwasser and Micali (FOCS'01) as a strengthening of the classical notion of zer...
156
click to vote
SOCIALCOM
2010
15 years 3 months ago
2010
This paper introduces the method secure-by-design as a way of constructing wireless embedded systems using component-based modeling frameworks. This facilitates design of secure a...
223
click to vote
SACMAT
2009
ACM
16 years 17 days ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
212
click to vote
ESORICS
2009
Springer
16 years 6 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 ...