Iwataand Kohno. New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms. Springer Berlin Heidelberg, 2004, doi:10.1007/978-3-540-25937-4_27.