公開鍵暗号を用いた鍵配送プロトコル。three-pass認証により2つの鍵を配送する。従い形式手法に基づく検証を実施した結果を示します。制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。表ではPAL1〜4を★の数(1〜4)で表し、評価結果を色で区別しています。実装によっては、BのRoleを乗っ取ることでAのRoleを攻撃して、鍵共有が正しくできない状況を作り出すことができます。これは規格文書の曖昧さが原因です。攻撃が成立するためには3つの前提条件があり、この条件がそろう可能性は低いと考えられます。暗号化されていないデータはやりとりしない。オプションのフィールドを使っていないときには必ずemptyにする。TTPとなるエンティティはAかBのroleは実行できないようにする。