• DocumentCode
    3379198
  • Title

    Abstract machines for communication security

  • Author

    Bieber, Pierre ; Boulahia-Cuppens, Nora ; Lehmann, Thomas ; Van Wickeren, Erich

  • Author_Institution
    ONERA-CERT, Toulouse, France
  • fYear
    1993
  • fDate
    15-17 Jun 1993
  • Firstpage
    137
  • Lastpage
    146
  • Abstract
    An existing formal software development method called B is used to build and verify specifications of a communication channel, cryptographic functions and security properties. The authors show on an example how these basic specifications may be combined in order to write abstract specifications of cryptographic protocols and to verify their security
  • Keywords
    cryptography; formal specification; formal verification; protocols; B; abstract specifications; basic specifications; communication channel; communication security; cryptographic functions; cryptographic protocols; formal software development method; security properties; Communication channels; Communication system security; Context; Cryptographic protocols; Cryptography; Mathematical model; Specification languages; Topology; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Security Foundations Workshop VI, 1993. Proceedings
  • Conference_Location
    Franconia, NH
  • Print_ISBN
    0-8186-3950-4
  • Type

    conf

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