Niemiec, Marcin. Design, Construction and Verification of a High-Level Security Protocol Allowing to Apply the Quantum Cryptography in Communication Networks. Vol. Ph.D. Thesis. AGH University of Science and Technology, 2011.