• DocumentCode
    2507895
  • Title

    Panel On Languages For Formal Specification Of Security Protocols

  • Author

    Meadows, Catherine

  • Author_Institution
    Naval Research Laboratory
  • fYear
    1997
  • fDate
    10-12 June 1997
  • Firstpage
    96
  • Lastpage
    96
  • Keywords
    Authentication; Calculus; Communication system security; Computer security; Conferences; Cryptographic protocols; Cryptography; Formal specifications; Laboratories; Specification languages;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop, 1997. Proceedings., 10th
  • Conference_Location
    Rockport, MA, USA
  • ISSN
    1063-6900
  • Print_ISBN
    0-8186-7990-5
  • Type

    conf

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