VI. FUTURE RESEARCH
There are many issues regarding to the threats and
vulnerabilities mentioned above that should be investigated
widely to find alternative solutions that accomplish all the
security requirements proposed on 3GPP specifications.
Our research is focused on the evaluation of all the AKA
alternatives proposed by research groups using Casper/FDR,
a testing tool to evaluate security protocols modeled by
functional programming. Identification of further weaknesses
is essential to design better security environments for the 4G