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

BROKEN

Browse Source 
- Protocol is not done yet.
This commit is contained in:
ccremers 2004-08-30 14:40:12 +00:00
parent 44f394d098
commit 20a38f79c5
1 changed files with 34 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
spdl/kaochow-palm.spdl Normal file
View File

@ -0,0 +1,34 @@
usertype Sessionkey;
secret k: Function;
protocol kaochowPalm(I,R,S)
{
role I
{
const ni: Nonce;
var X: Nonce;
var KX: Sessionkey;
}
role R
{
}
role S
{
}
}
const Alice,Bob,Simon,Eve: Agent;
untrusted Eve;
const ne: Nonce;
compromised sk(Eve);
run kaochowPalm.I(Agent,Agent,Simon);
run kaochowPalm.R(Agent,Agent,Simon);
run kaochowPalm.S(Agent,Agent,Simon);
run kaochowPalm.I(Agent,Agent,Simon);
run kaochowPalm.R(Agent,Agent,Simon);
run kaochowPalm.S(Agent,Agent,Simon);