(EAP-TTLSv0)機能EAPにおいて、TLSを用いて使用する暗号アルゴリズムのネゴシエーションとサーバ認証・鍵交換を実現し、ユーザ名とパスワードを用いてクライアント認証を実現すること目的としたプロトコル。従い形式手法に基づく検証を実施した結果を示します。制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。表ではPAL1〜4を★の数(1〜4)で表し、評価結果を色で区別しています。