@inproceedings{8cf604c601eb4935ae3ffb068b3f9208,
title = "Formal modeling and verification of DLK protocol",
abstract = "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.",
keywords = "Agent technology, DLK protocol, Formal Method, ProVerif",
author = "Al-Hamadi, {H. M.N.} and Yeun, {C. Y.} and Zemerly, {M. J.} and Al-Qutayri, {M. A.} and Amjad Gawanmeh",
year = "2011",
language = "British English",
isbn = "9781908320001",
series = "2011 International Conference for Internet Technology and Secured Transactions, ICITST 2011",
pages = "578--583",
booktitle = "2011 International Conference for Internet Technology and Secured Transactions, ICITST 2011",
note = "2011 International Conference for Internet Technology and Secured Transactions, ICITST 2011 ; Conference date: 11-12-2011 Through 14-12-2011",
}