• DocumentCode
    2143946
  • Title

    The value of semantics for the analysis of cryptographic protocols

  • Author

    Syverson, Paul

  • Author_Institution
    Naval Res. Lab., Center for Secure Inf. Technol., Washington, DC, USA
  • fYear
    1991
  • fDate
    18-20 Jun 1991
  • Firstpage
    228
  • Lastpage
    229
  • Abstract
    The author distinguishes between `heuristic´ and `holistic´ issues in the formal analysis of cryptographic protocols and discusses the contribution semantics can make to settling these issues
  • Keywords
    computational linguistics; cryptography; protocols; cryptographic protocols; formal analysis; heuristics; holistics; semantics; Cryptographic protocols; Cryptography; Failure analysis; Graphics; Information analysis; Information technology; Laboratories; Logic; Psychology;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop IV, 1991. Proceedings
  • Conference_Location
    Franconia, NH
  • Print_ISBN
    0-8186-2215-6
  • Type

    conf

  • DOI
    10.1109/CSFW.1991.151593
  • Filename
    151593
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2143946