Title :
Full agreement in BAN kerberos
Author :
Mukhamedov, Aybek
Author_Institution :
Sch. of Comput. Sci., Birmingham Univ., University, 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.
Keywords :
protocols; BAN Kerberos; Lowe hierarchy; key distribution protocol; mutual agent authentication; strand spaces model; timestamp; Authentication; Body sensor networks; Clocks; Computer science; Cryptography; Network servers; Protocols; Synchronization;
Conference_Titel :
Security and Privacy for Emerging Areas in Communication Networks, 2005. Workshop of the 1st International Conference on
Print_ISBN :
0-7803-9468-2
DOI :
10.1109/SECCMW.2005.1588316
