Quantum key security theory and analysis of experimental realisations - Duhme, Jörg (2015)