3115 search results - page 47 / 623 » Synthesizing Secure Protocols |
ICISC
2007
13 years 10 months ago
2007
Query-response based protocols between a client and a server such as SSL, TLS, SSH are asymmetric in the sense that the querying client and the responding server play different ro...
SP
1997
IEEE
14 years 18 days ago
1997
IEEE
Encrypted Key Exchange (EKE) [1, 2] allows two parties sharing a password to exchange authenticated information over an insecure network by using a combination of public and secre...
ACNS
2010
Springer
14 years 11 days ago
2010
Springer
Abstract. We propose a new protocol providing cryptographically secure authentication to unaided humans against passive adversaries. We also propose a new generic passive attack on...
CONEXT
2006
ACM
14 years 3 months ago
2006
ACM
The deployment of sensor networks in security- and safety-critical environments requires secure communication primitives. In this paper, we design, implement, and evaluate a new s...
POPL
2010
ACM
14 years 6 months ago
2010
ACM