Party)の存在を前提とする、オープンなネットワークにおけるサーバ・クライアント間でのネットワーク認証・鍵交換プロトコル。特徴はサーバが認証情報に含まれる情報をキャッシュしてリプレイ攻撃を検出すること。暗号として共通鍵暗号を利用。従い形式手法に基づく検証を実施した結果を示します。制限する場合を指します。よって、PAL3で攻撃が発見されなくとも、PAL4で攻撃が発見される場合があり、PAL4での評価が望ましいと考えられています。表ではPAL1〜4を★の数(1〜4)で表し、評価結果を色で区別しています。サーバの不正によりセッション鍵を漏洩させる攻撃が発見されましたが、この結果はKerberosの安全性がサーバの信頼性に依拠しているという設計者の意図に合致したものとなっており、通常の運用の際は問題ありません。