1. CERTIFICAZIONE DI IDENTITÀ
RAP
1. 𝐴→ 𝑅𝐴𝑃 ∶ 𝐴 ∥ 𝐸 𝐾𝐴 (𝐴 ∥ 𝑀)
2. 𝑅𝐴𝑃 → 𝐴: 𝐸 𝐾𝐴 (𝐴 ∥ 𝑇 ∥ 𝑀 ∥ 𝐸 𝑅 𝐴 ∥ 𝑇 ∥ 𝑀 )
3. 𝐴→ 𝐵: 𝐴 ∥ 𝑇 ∥ 𝑀 ∥ 𝐸 𝑅 (𝐴 ∥ 𝑇 ∥ 𝑀)
4. 𝐵→ 𝑅𝐴𝑃: 𝐵 ∥ 𝐴 ∥ 𝑇 ∥ 𝑀 ∥ 𝐸 𝑅 (𝐴 ∥ 𝑇 ∥ 𝑀)
5. 𝑅𝐴𝑃 → 𝐵: 𝐸 𝐾𝐵 (𝐴 ∥ 𝑇 ∥ 𝑀)
KDC
1. 𝐴→ 𝑇: 𝑅𝐴 ∥ 𝐴 ∥ 𝐵
2. 𝑇→ 𝐴: 𝐸 𝐾𝐴 (𝑅 𝐴 ∥ 𝐵 ∥ 𝑘 ∥ 𝐸 𝐾𝐵 𝐴 ∥ 𝑘 )
3. 𝐴→ 𝐵: 𝐸 𝐾𝐵 (𝐴 ∥ 𝑘)
4. 𝐵→ 𝐴: 𝐸 𝑘 (𝑅 𝐵 )
5. 𝐴→ 𝐵: 𝐸 𝑘 (𝑅 𝐵 − 1)