Formal Analysis AKA Protocol for 3G Based On SVO Logical
Shiping Yang · Computer Knowledge and Technology · 2008
AKA Protocol occupies an important position in the 3G communication. Analyzed the Protocol with SVO logical, expects to discover the potential security defect. Improved it with information conceal technique. In addition, points out two new defects of the SVO logical, one is it can't analyze the plaintext influence to the protocol security when it runs, another is it can't analyze eavesdropping attack.We also expanded the SVO logical.