101 search results - page 12 / 21 » Simple Password-Based Encrypted Key Exchange Protocols |
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
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
TCC
2004
Springer
14 years 26 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
ENTCS
2007
13 years 7 months ago
2007
Wireless sensor networks are comprised of a vast number of ultra-small autonomous computing, communication and sensing devices, with restricted energy and computing capabilities, ...
PEWASUN
2005
ACM
14 years 1 months ago
2005
ACM
Inherent to the wireless sensor networks are the two major problems of the broadcasting vulnerability, the limited computational capability and power budget. Even though security ...