Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks (Q861696)

From MaRDI portal





scientific article; zbMATH DE number 5119734
Language Label Description Also known as
default for all languages
No label defined
    English
    Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks
    scientific article; zbMATH DE number 5119734

      Statements

      Decision procedures for the security of protocols with probabilistic encryption against offline dictionary attacks (English)
      0 references
      0 references
      0 references
      30 January 2007
      0 references
      cryptographic protocols
      0 references
      protocol insecurity problem
      0 references

      Identifiers