andr3/scyther
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

- Minor additions

Browse Source
This commit is contained in:
ccremers 2007-05-11 21:44:36 +00:00
parent 9545d878dd
commit 4177b20aad
1 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
spdl/misc/kerberos-rddm.spdl
View File

@ -94,13 +94,25 @@ protocol kerberos(C,K,T,S) {
const Alice,Bob,Charlie,Eve: Agent; const Alice,Bob,Charlie,Eve: Agent;
untrusted Eve; untrusted Eve;
compromised ktk(Eve,Alice); // C untrusted
//compromised ktk(Alice,Eve);
compromised kck(Eve,Alice); compromised kck(Eve,Alice);
//compromised kck(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); compromised kst(Eve,Alice);
//compromised kst(Alice,Eve);