160 search results - page 20 / 32 » An Efficient Protocol for Authenticated Key Agreement |
SCN
2010
Springer
13 years 5 months ago
2010
Springer
We introduce a protocol, that we call Human Key Agreement, that allows pairs of humans to establish a key in a (seemingly hopeless) case where no public-key infrastructure is avail...
CRYPTO
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We propose a way to establish peer-to-peer authenticated communications over an insecure channel by using an extra channel which can authenticate very short strings, e.g....
IJNSEC
2008
13 years 7 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
ESORICS
2002
Springer
14 years 7 months ago
2002
Springer
Abstract. In this paper, we consider how one can analyse a stream authentication protocol using model checking techniques. In particular, we will be focusing on the Timed Efficient...
INFOCOM
2010
IEEE
13 years 4 months ago
2010
IEEE
Body Area Networks (BAN) is a key enabling technology in E-healthcare such as remote health monitoring. An important security issue during bootstrap phase of the BAN is to securely...