Classical knowledge for quantum cryptographic reasoning (Q2864501)

From MaRDI portal





scientific article; zbMATH DE number 6236497
Language Label Description Also known as
default for all languages
No label defined
    English
    Classical knowledge for quantum cryptographic reasoning
    scientific article; zbMATH DE number 6236497

      Statements

      0 references
      0 references
      6 December 2013
      0 references
      quantum cryptography
      0 references
      security
      0 references
      formal verification
      0 references
      meta-logic reasoning
      0 references
      Classical knowledge for quantum cryptographic reasoning (English)
      0 references

      Identifiers