(GSM)におけるSIMを用いた相互認証・鍵交換プロトコル。従い形式手法に基づく検証を実施した結果を示します。制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。表ではPAL1〜4を★の数(1〜4)で表し、評価結果を色で区別しています。Response/SIM/Challengeの生成に使用するA3/A8アルゴリズムが同一あるいは相関がある場合に、鍵の漏洩がおきます。なりすましの手順が発見されましたが、EAPで認証開始前あるいは終了後に送信するメッセージ(EAP-Successなど)の存在が原因であり、現実上の脅威はありません。