Verifying Mutual Authentication for the DLK Protocol using ProVerif tool

Abstract

This paper adopts the Distributed Lightweight Kerberos (DLK) protocol, which is a result of enhancing the well-known Kerberos protocol. One of the advantages of the DLK protocol is that it addresses mutual authentication and confidentiality challenges while reducing the required number of messages to securely communicate with multiple service providers. In… (More)

9 Figures and Tables

Topics

  • Presentations referencing similar topics