• DocumentCode
    1801738
  • Title

    Security Analysis of the Kerberos Protocol Using BAN Logic

  • Author

    Fan, Kai ; Li, Hui ; Wang, Yue

  • Author_Institution
    Minist. of Edu. Key Lab. of Comput. Network & Inf. Security, Xidian Univ., Xi´´an, China
  • Volume
    2
  • fYear
    2009
  • fDate
    18-20 Aug. 2009
  • Firstpage
    467
  • Lastpage
    470
  • Abstract
    Kerberos protocol is a famous identity authentication protocol and it is widely used in the network as a standard. But there is still not a strict proof of it base on the Formal method. That is very nervous for the users. So a security analysis of the Kerberos protocol using BAN logic is proposed in this paper, and the reliability, practicability and security of Kerberos protocol are proved.
  • Keywords
    authorisation; cryptographic protocols; formal logic; BAN logic; Kerberos protocol; formal method; identity authentication protocol; security analysis; Access control; Access protocols; Authentication; Body sensor networks; Communication system security; Cryptographic protocols; Cryptography; Information security; Internet; Logic; BAN logic; Formal analysis; Kerberos protocol;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Assurance and Security, 2009. IAS '09. Fifth International Conference on
  • Conference_Location
    Xi´an
  • Print_ISBN
    978-0-7695-3744-3
  • Type

    conf

  • DOI
    10.1109/IAS.2009.320
  • Filename
    5283203
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1801738