Así que para detectar a un espía con una probabilidad de formula_11, Alice y Bob deben comparar formula_12 bits de la clave.