Formal modeling and verification of DLK protocol

This paper presents a formal model for the analysis and verification of a multi-agent system based on the Distributed Lightweight Kerberos (DLK) protocol. Verifying the security protocol exposes security defects and aids in fixing them. The verification process of the DLK protocol uses the ProVerif...

Full description

Saved in:
Bibliographic Details
Published in2011 International Conference for Internet Technology and Secured Transactions pp. 578 - 583
Main Authors Al-Hamadi, H. M. N., Yeun, C. Y., Zemerly, M. J., Al-Qutayri, M. A., Gawanmeh, A.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.12.2011
Subjects
Agent technology
Authentication
DLK protocol
Encryption
Formal Method
Protocols
ProVerif
Servers
Syntactics
Online AccessGet full text

Cover

More Information
Summary:This paper presents a formal model for the analysis and verification of a multi-agent system based on the Distributed Lightweight Kerberos (DLK) protocol. Verifying the security protocol exposes security defects and aids in fixing them. The verification process of the DLK protocol uses the ProVerif tool. Based on this tool, the security mechanism of the protocol is clearly exposed. The results of using ProVerif indicate that DLK is secure as initially claimed.
ISBN:1457708841
9781457708848