Why is the BB84 Protocol Secure ?