About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
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,*
  • 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
Copyright © 2005–2025 IEEE
EBSCOProQuestDBLPDOAJPortico
EAI Logo

About EAI

  • Who We Are
  • Leadership
  • Research Areas
  • Partners
  • Media Center

Community

  • Membership
  • Conference
  • Recognition
  • Sponsor Us

Publish with EAI

  • Publishing
  • Journals
  • Proceedings
  • Books
  • EUDL