Security analysis of semi-quantum cryptography protocols by model checking

DOI10.3969/J.ISSN.1001-0548.2017.05.013MaRDI QIDQ3175791zbMATH OpenFDO

Authors Fan Yang, Guowu Yang, Yujie Hao

Publication date 18 July 2018

zbMATH Keywords

model checkingsemi-quantum cryptographyeavesdropping

Mathematics Subject Classification ID

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

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

Cited in

(3)

• Model checking the observational determinism security property using PROMELA and SPIN
• Semi-automated verification of security proofs of quantum cryptographic protocols
• The modeling library of eavesdropping methods in quantum cryptography protocols by model checking

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)