3115 search results - page 67 / 623 » Synthesizing Secure Protocols |
ACNS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In order to increase the security for authenticated key exchange protocols, various authentication means can be used together. In this paper, we introduce a security mode...
CCS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we introduce a framework for secure two-party (S2P) computations, which we call bureaucratic computing, and we demonstrate its efficiency by designing practical S2P...
EUROMICRO
2004
IEEE
15 years 1 months ago
2004
IEEE
Ad hoc networks are subject of many recent research efforts. Especially in mobile scenarios, self-organizing networks are of high interest. While the routing aspects of mobile ad ...
ESORICS
2012
Springer
13 years 4 days ago
2012
Springer
We show that it is possible to achieve perfect forward secrecy in two-message key exchange (KE) protocols that satisfy even stronger security properties than provided by the extend...
ACSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
IP networks fundamentally rely on the Address Resolution Protocol (ARP) for proper operation. Unfortunately, vulnerabilities in the ARP protocol enable a raft of IP-based imperson...