• DocumentCode
    923664
  • Title

    A new method for analyzing the security of cryptographic protocols

  • Author

    Toussaint, M.J.

  • Author_Institution
    Liege Univ., Belgium
  • Volume
    11
  • Issue
    5
  • fYear
    1993
  • fDate
    6/1/1993 12:00:00 AM
  • Firstpage
    702
  • Lastpage
    714
  • Abstract
    A formal method for analyzing the security of cryptographic protocols is presented. This method is based on an original representation of the participants´ knowledge. The author proves the probabilistic properties of the cryptographic protocols and models the possible attacks on these protocols. This method is applied to well-known protocols like the Kerberos authentication protocol and the X.509 standard
  • Keywords
    cryptography; formal verification; protocols; Kerberos authentication protocol; X.509 standard; cryptographic protocols; formal method; formal verification; probabilistic properties; Authentication; Computer security; Cryptographic protocols; Cryptography; Formal verification; Image analysis; Information analysis; Information security; Probabilistic logic; System testing;
  • fLanguage
    English
  • Journal_Title
    Selected Areas in Communications, IEEE Journal on
  • Publisher
    ieee
  • ISSN
    0733-8716
  • Type

    jour

  • DOI
    10.1109/49.223870
  • Filename
    223870
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=923664