We discuss two-party mutual authentication protocols providing authenticated key
exchange, focusing on those using asymmetric techniques. A simple, efficient protocol …

Key establishment is a crucial cryptographic primitive for building secure communication
channels between two parties in a network. It has been studied extensively in theory and …

1.1 Background The past two decades have seen an enormous increase in the development
and use of networked and distributed systems, providing increased functionality to the user …

We investigate protocols for authenticated exchange of messages between two parties in a
communication network. Secure authenticated exchange is essential for network security. It …

Cryptographic protocol design in a two-party setting has often ignored the possibility of
simultaneous message transmission by each of the two parties (ie, using a duplex channel) …

Abstract Joux's protocol [29] is a one round, tripartite key agreement protocol that is more
bandwidth-efficient than any previous three-party key agreement protocol. But it is insecure …

We examine key agreement protocols providing (i) key authentication (ii) key confirmation
and (iii) forward secrecy. Attacks are presented against previous two-party key agreement …

This paper investigates security proofs for protocols that employ asymmetric (public-key
techniques to solve two problems: entity authentication and authenticated key transport. A …

1 Introduction the past two decades have seen an enormous increase in the development
and use of networked and distributed systems, providing increased functionality to the user …

We provide the first formal treatment of entity authentication and authenticated key
distribution appropriate to the distributed environment. Addressed in detail are the problems …