185 search results - page 18 / 37 » Key Establishment Using Secure Distance Bounding Protocols |
CTRSA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The TLS and SSL protocols are widely used to ensure secure communication over an untrusted network. Therein, a client and server first engage in the so-called handshake ...
CSFW
2007
IEEE
14 years 1 months ago
2007
IEEE
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
ESAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Securing wireless mobile ad hoc networks (MANETs) is challenging due to the lack of centralized authority and poor connectivity. A key distribution mechanism is central t...
FUIN
2007
13 years 7 months ago
2007
In this paper we show a novel method for modelling behaviours of security protocols using networks of communicating automata in order to verify them with SAT-based bounded model ch...
SUTC
2006
IEEE
14 years 1 months ago
2006
IEEE
- In this paper, we describe a group key management protocol for hierarchical sensor networks where instead of using pre-deployed keys, each sensor node generates a partial key dyn...