Cryptographic Protocols

Hans Delfs, Helmut Knebl

Sho Ishibashi, Jingchen Yan, Yuichi Goto +1 more

Many cryptographic protocols have been proposed, and many studies of them have been done. However, there is no study to identify constituent elements of cryptographic protocols that are elements of the protocols consist of. The constituent elements can be used for the basis of classification of already proposed cryptographic protocols, the basis of prediction of new cryptographic protocols, and the basis of formal verification for cryptographic protocols. This paper presents primitive constituent element of cryptographic protocols that is an element so that cryptographic protocol cannot accomplish its original tasks without it.

Keith M. Martin

This chapter discusses cryptographic protocols, which provide a means for cryptographic primitives to be combined in ways that allow complex sets of security goals to be tailored to particular application environments. It describes a simple, but artificial, application in order to demonstrate that there are many different ways in which a cryptographic protocol can be designed, and also how sensitive the security of cryptographic protocols can be. It then considers the important family of AKE protocols (authentication and key establishment).

Hans Delfs, Helmut Knebl

Keith M. Martin

This chapter is concerned with cryptographic protocols. We begin with an explanation of what components a cryptographic protocol consists of. We then illustrate the complexity of designing a secure cryptographic protocol by considering an artificially simple scenario, for which we propose and analyse seven candidate protocols. For each of these protocols, we comment on whether, or under which conditions, they meet the required specification. We go on to look at the important class of authentication and key establishment protocols. We identify typical goals and examine some important protocols in this class, including the Diffie–Hellman protocol.