共通鍵暗号を用いた鍵交換プロトコル。9798-2のfour-pass認証メカニズムの一部を使用。従い形式手法に基づく検証を実施した結果を示します。制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。表ではPAL1〜4を★の数(1〜4)で表し、評価結果を色で区別しています。あるエンティティがTTPと1つのエンティティを兼ねる場合に、片方のエンティティなしでプロトコルを完了させることができます。暗号化されていないデータはやりとりしない。オプションのフィールドを使っていないときには必ずemptyにする。TTPとなるエンティティはAかBのroleは実行できないようにする。