From 4177b20aadbf50be6710b530684ac1edbaf9fc9d Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 11 May 2007 21:44:36 +0000
Subject: [PATCH] - Minor additions

---
 spdl/misc/kerberos-rddm.spdl | 22 +++++++++++++++++-----
 1 file changed, 17 insertions(+), 5 deletions(-)

diff --git a/spdl/misc/kerberos-rddm.spdl b/spdl/misc/kerberos-rddm.spdl
index 59d51c4..bbc7dba 100644
--- a/spdl/misc/kerberos-rddm.spdl
+++ b/spdl/misc/kerberos-rddm.spdl
@@ -94,13 +94,25 @@ protocol kerberos(C,K,T,S) {
 const Alice,Bob,Charlie,Eve: Agent;
 untrusted Eve;
 
-compromised ktk(Eve,Alice);
-//compromised ktk(Alice,Eve);
+// C untrusted
 compromised kck(Eve,Alice);
-//compromised kck(Alice,Eve);
-compromised kst(Eve,Alice);
-//compromised kst(Alice,Eve);
+compromised kck(Alice,Eve);
 
+// K untrusted
+compromised kck(Eve,Alice);
+compromised kck(Alice,Eve);
+compromised ktk(Eve,Alice);
+compromised ktk(Alice,Eve);
+
+// T untrusted
+compromised kst(Alice,Eve);
+compromised kst(Eve,Alice);
+compromised ktk(Eve,Alice);
+compromised ktk(Alice,Eve);
+
+// S untrusted
+compromised kst(Alice,Eve);
+compromised kst(Eve,Alice);