A Process Algebra for Reasoning About Quantum Security (Q2864166)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Process Algebra for Reasoning About Quantum Security |
scientific article |
Statements
A Process Algebra for Reasoning About Quantum Security (English)
0 references
6 December 2013
0 references
quantum process algebras
0 references
quantum polynomial-time machines
0 references
quantum zero-knowledge proofs
0 references
