A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution

DOI10.1007/978-3-642-21341-0_17zbMath1331.81086OpenAlexW245217925MaRDI QIDQ3007710

Yasuhito Kawano, Takahiro Kubota, Yoshihiko Kakutani, Go Kato

Publication date: 17 June 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-21341-0_17

zbMATH Keywords

unconditional securityformal methodsautomatic verificationBB84QKDB92

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Quantum cryptography (quantum-theoretic aspects) (81P94)

This page was built for publication: A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution