Verifying Mutual Authentication for the DLK Protocol using ProVerif tool


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


  • Presentations referencing similar topics