Quantifying the security of a QKD protocol | IEEE Conference Publication | IEEE Xplore