Security analysis of semi-quantum cryptography protocols by model checking

DOI10.3969/J.ISSN.1001-0548.2017.05.013zbMATH Open1399.81010MaRDI QIDQ3175791FDOQ3175791

Fan Yang, Yujie Hao, Guowu Yang

Publication date: 18 July 2018

Recommendations

• The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
• Semi-automated verification of security proofs of quantum cryptographic protocols
• Semi-quantum cryptography
• Verification of quantum protocols with a probabilistic model-checker
• Model checking quantum Markov chains

zbMATH Keywords

model checkingsemi-quantum cryptographyeavesdropping

Mathematics Subject Classification ID

Quantum cryptography (quantum-theoretic aspects) (81P94) Network protocols (68M12)

Cited In (1)

• Model checking the observational determinism security property using PROMELA and SPIN

This page was built for publication: Security analysis of semi-quantum cryptography protocols by model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3175791)