Security Analyses of Quantum Communication Protocols
Logic in Computer Science
2021-07-29 v4
Abstract
Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, to calculus, APPTC to probabilistic process algebra.In this book, we utilize truly concurrent process algebras APTC and APPTC to model quantum computing and unify quantum and classical computing.
Keywords
Cite
@article{arxiv.1404.0665,
title = {Security Analyses of Quantum Communication Protocols},
author = {Yong Wang},
journal= {arXiv preprint arXiv:1404.0665},
year = {2021}
}
Comments
152 pages, 23 figures, 62 tables. arXiv admin note: substantial text overlap with arXiv:1811.01070, arXiv:1501.05260