5488 search results - page 114 / 1098 » On the Secure Implementation of Security Protocols |
142
click to vote
ESORICS
2003
Springer
15 years 9 months ago
2003
Springer
We introduce the on-the-fly model-checker OFMC, a tool that combines two methods for analyzing security protocols. The first is the use of lazy data-types as a simple way of buil...
159
click to vote
PEWASUN
2004
ACM
15 years 9 months ago
2004
ACM
In large and dense mobile ad hoc networks, position-based routing protocols can offer significant performance improvement over topology-based routing protocols by using location i...
172
click to vote
ESAS
2005
Springer
15 years 9 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...
143
click to vote
ACSW
2003
15 years 5 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...
127
click to vote
IJNSEC
2007
15 years 4 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...