Full agreement in BAN kerberos

Aybek  Mukhamedov

1st International ICST Workshop on Security and QoS in Communication Networks

Research Article

Full agreement in BAN kerberos

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1109/SECCMW.2005.1588316,
    author={Aybek  Mukhamedov },
    title={Full agreement in BAN kerberos},
    proceedings={1st International ICST Workshop on Security and QoS in Communication Networks},
    publisher={IEEE},
    proceedings_a={SECQOS},
    year={2006},
    month={2},
    keywords={},
    doi={10.1109/SECCMW.2005.1588316}
}

Aybek Mukhamedov
Year: 2006
Full agreement in BAN kerberos
SECQOS
IEEE
DOI: 10.1109/SECCMW.2005.1588316

Aybek Mukhamedov ¹^,*

1: School of Computer Science, University of Birmingham, UK.

*Contact email: A.Mukhamedov@cs.bham.ac.uk

Abstract

The paper analyzes BAN Kerberos - a timestamp based key distribution protocol with mutual agent authentication. The protocol is formalized in the strand spaces model and it is shown that BAN Kerberos guarantees the strongest form of authentication in Lowe's hierarchy of authentication specifications [Lowe, 1997] - full agreement on all data items.

Published: 2006-02-06
Publisher: IEEE

: http://dx.doi.org/10.1109/SECCMW.2005.1588316