1342 search results - page 82 / 269 » Attacks are Protocols Too |
139
click to vote
JALC
2006
15 years 6 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...
186
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
214
click to vote
ESAS
2005
Springer
16 years 2 days 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...
166
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authenticati...
178
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...