(IKE)機能IPsecの前に実行する鍵交換プロトコル。認証に事前共有鍵を使用。従い形式手法に基づく検証を実施した結果を示します。制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。表ではPAL1〜4を★の数(1〜4)で表し、評価結果を色で区別しています。attack)が発見されました。報を含まないことが原因です。通信相手を確認する実装とする。