• DocumentCode
    2143528
  • Title

    Logics for cryptographic protocols-virtues and limitations

  • Author

    Gligor, V.D. ; Kailar, R. ; Stubblebine, S. ; Gong, L.

  • Author_Institution
    Dept. of Electr. Eng., Maryland Univ., College Park, MD, USA
  • fYear
    1991
  • fDate
    18-20 Jun 1991
  • Firstpage
    219
  • Lastpage
    226
  • Abstract
    The authors discuss the virtues and limitations of several logics for cryptographic protocols focusing primarily on the logics of authentication. They emphasize the scope limitations of these logics rather than their virtues because: (1) their virtues to be better understood and accepted than their limitations; and (2) they hope to stimulate further research that will expand their scope
  • Keywords
    cryptography; formal logic; protocols; authentication; cryptographic protocols; logics; scope limitations; Authentication; Computer science; Cryptographic protocols; Cryptography; Educational institutions; Logic; Privacy; Security; System testing;
  • 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.151591
  • Filename
    151591
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2143528