3821 search results - page 175 / 765 » A Security Model for Aglets |
159
Voted
ESAS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
115
Voted
NSDI
2008
15 years 5 months ago
2008
We aim to advance the understanding of individual security decision-making, by combining formal and behavioral analysis. We sketch a game-theoretic model of security decision-maki...
132
Voted
ACSW
2003
15 years 4 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
123
Voted
PROVSEC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Oracle separation methods are used in cryptography to rule out blackbox reductions between cryptographic primitives. It is sufficient to find an oracle relative to whic...
147
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...