A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols (Q507654)

From MaRDI portal





scientific article; zbMATH DE number 6681090
Language Label Description Also known as
default for all languages
No label defined
    English
    A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols
    scientific article; zbMATH DE number 6681090

      Statements

      A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols (English)
      0 references
      0 references
      0 references
      0 references
      7 February 2017
      0 references
      key establishment protocol
      0 references
      identity-based (ID-based) protocol
      0 references
      Diffie-Hellman-based protocol
      0 references
      0 references
      0 references

      Identifiers