Takahiro Kubota, Yoshihiko Kakutani, Go Kato, Yasuhito Kawano. A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution. In Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg, editors, Unconventional Computation - 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings. Volume 6714 of Lecture Notes in Computer Science, pages 125-137, Springer, 2011. [doi]
Abstract is missing.