Corpus ID: 6622187

Probabilistic Model-Checking of Quantum Protocols

@article{Gay2005ProbabilisticMO,
  title={Probabilistic Model-Checking of Quantum Protocols},
  author={S. Gay and R. Nagarajan and N. Papanikolaou},
  journal={ArXiv},
  year={2005},
  volume={abs/quant-ph/0504007}
}
  • S. Gay, R. Nagarajan, N. Papanikolaou
  • Published 2005
  • Physics, Computer Science, Mathematics
  • ArXiv
  • We establish fundamental and general techniques for formal verification of quantum protocols. Quantum protocols are novel communication schemes involving the use of quantum-mechanical phenomena for representation, storage and transmission of data. As opposed to quantum computers, quantum communication systems can and have been implemented using present-day technology; therefore, the ability to model and analyse such systems rigorously is of primary importance. While current analyses of quantum… CONTINUE READING
    52 Citations
    Model checking quantum protocols
    • 22
    • PDF
    Formal verification techniques using quantum process calculus
    • 29
    • PDF
    Theory and applications of quantum process calculus
    • 1
    • PDF
    Model Checking for Communicating Quantum Processes
    • 15
    • PDF
    Model checking quantum Markov chains
    • 43
    • PDF
    Types and typechecking for Communicating Quantum Processes
    • 38
    • PDF
    QMC: A Model Checker for Quantum Systems
    • 80
    • PDF
    Annual Postgraduate Progress Report
    Modelling of Quantum Key Distribution Protocols in Communicating Quantum Processes Language with Verification and Analysis in PRISM
    • Highly Influenced
    • PDF

    References

    SHOWING 1-10 OF 28 REFERENCES
    Techniques for design and validation of quantum protocols
    • 36
    Formal Verification of Quantum Protocols
    • 27
    • PDF
    Communicating quantum processes
    • 121
    • PDF
    An introduction to quantum computing for non-physicists
    • 297
    • Highly Influential
    • PDF
    Reasoning About Quantum Systems
    • 33
    • PDF
    Quantum computing and error correction
    • 27
    • PDF
    A fast quantum mechanical algorithm for database search
    • 4,715
    • PDF
    Quantum computation and quantum information
    • T. Paul
    • Mathematics, Computer Science
    • Math. Struct. Comput. Sci.
    • 2007
    • 15,024
    Improved Simulation of Stabilizer Circuits
    • 523
    • PDF
    Unconditional security in quantum cryptography
    • D. Mayers
    • Computer Science, Mathematics
    • JACM
    • 2001
    • 790
    • PDF