A process algebra for reasoning about quantum security (Q2864166)

From MaRDI portal





scientific article; zbMATH DE number 6236123
Language Label Description Also known as
default for all languages
No label defined
    English
    A process algebra for reasoning about quantum security
    scientific article; zbMATH DE number 6236123

      Statements

      0 references
      0 references
      6 December 2013
      0 references
      quantum process algebras
      0 references
      quantum polynomial-time machines
      0 references
      quantum zero-knowledge proofs
      0 references
      A process algebra for reasoning about quantum security (English)
      0 references

      Identifiers