Security proof of practical quantum key distribution schemes - Yodai Watanabe (2005)