• DocumentCode
    2748110
  • Title

    Representing partial knowledge in an algebraic security model

  • Author

    Meadows, Catherine

  • Author_Institution
    Center for Secure Inf. Technol., Naval Res. Lab., Washington, DC, USA
  • fYear
    1990
  • fDate
    12-14 Jun 1990
  • Firstpage
    23
  • Lastpage
    31
  • Abstract
    The author extends a security model and specification language for key distribution protocols which describes protocols algebraically in terms of term-rewriting systems to include certain kinds of partial knowledge available to a penetrator. She also shows how the model describes the actions by which a penetrator takes advantage of partial knowledge, and gives an example of a protocol specified in the language
  • Keywords
    cryptography; formal specification; protocols; rewriting systems; algebraic security model; key distribution protocols; partial knowledge; specification language; term-rewriting systems; Adaptation model; Communication system traffic control; Cryptographic protocols; Formal languages; Information security; Information technology; Laboratories; Public key; Specification languages; Traffic control;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop III, 1990. Proceedings
  • Conference_Location
    Franconia, NH
  • Print_ISBN
    0-8186-2071-4
  • Type

    conf

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