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

- Two protocol bugfixes.

Browse Source
This commit is contained in:
ccremers 2005-01-14 10:28:12 +00:00
parent a3f9d0dc65
commit e2990e37de
2 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spdl/ns3-brutus.spdl
View File

@ -23,7 +23,7 @@ protocol ns3brutus(I,R)
read_1(I,R, {I,ni}pk(R) ); read_1(I,R, {I,ni}pk(R) );
send_2(R,I, {ni,nr}pk(I) ); send_2(R,I, {ni,nr}pk(I) );
read_3(I,R, {nr}pk(R) ); read_3(I,R, {nr}pk(R) );
claim_5(I,Secret,ni); claim_5(R,Secret,ni);
} }
} }

12
spdl/yahalom-paulson.spdl
View File

@ -13,7 +13,7 @@ compromised k(Eve,Simon);
const ne: Nonce; const ne: Nonce;
const kee: Sessionkey; const kee: Sessionkey;
protocol yahalomlowe(I,R,S) protocol yahalompaulson(I,R,S)
{ {
role I role I
{ {
@ -54,10 +54,10 @@ protocol yahalomlowe(I,R,S)
} }
} }
run yahalomlowe.I(Agent,Agent,Simon); run yahalompaulson.I(Agent,Agent,Simon);
run yahalomlowe.R(Agent,Agent,Simon); run yahalompaulson.R(Agent,Agent,Simon);
run yahalomlowe.S(Agent,Agent,Simon); run yahalompaulson.S(Agent,Agent,Simon);
run yahalomlowe.I(Agent,Agent,Simon); run yahalompaulson.I(Agent,Agent,Simon);
run yahalomlowe.R(Agent,Agent,Simon); run yahalompaulson.R(Agent,Agent,Simon);