Digital cellular telecommunications system (Phase 2+); 3G Security; Specification of the A5/3 encryption algorithms for GSM and ECSD, and the GEA3 encryption algorithm for GPRS; Document 4: Design and evaluation report (V11.0.0; 3GPP TR 55.919 version 11.