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

- Optimized version.

Browse Source
This commit is contained in:
ccremers 2005-05-23 13:07:11 +00:00
parent 3cb999f820
commit 47c9f257a8
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
spdl/nsl-generalized-4.spdl
View File

@ -19,7 +19,7 @@ protocol nslgen4(R1,R2,R3,R4)
send_1(R1,R2, {R1,R3,R4,n1}pk(R2) );
read_4(R4,R1, {n1,n2,n3,n4,R2,R3,R4}pk(R1) );
send_5(R1,R2, {n2,n3,n4,R3,R4}pk(R2) );
send_5(R1,R2, {n2,n3,n4}pk(R2) );
claim_r1a(R1,Secret,n1);
claim_r1b(R1,Secret,n2);
@ -37,8 +37,8 @@ protocol nslgen4(R1,R2,R3,R4)
read_1(R1,R2, {R1,R3,R4,n1}pk(R2) );
send_2(R2,R3, {n1,n2,R1,R2,R4}pk(R3) );
read_5(R1,R2, {n2,n3,n4,R3,R4}pk(R2) );
send_6(R2,R3, {n3,n4,R4}pk(R3) );
read_5(R1,R2, {n2,n3,n4}pk(R2) );
send_6(R2,R3, {n3,n4}pk(R3) );
claim_r2a(R2,Secret,n1);
claim_r2b(R2,Secret,n2);
@ -56,7 +56,7 @@ protocol nslgen4(R1,R2,R3,R4)
read_2(R2,R3, {n1,n2,R1,R2,R4}pk(R3) );
send_3(R3,R4, {n1,n2,n3,R1,R2,R3}pk(R4) );
read_6(R2,R3, {n3,n4,R4}pk(R3) );
read_6(R2,R3, {n3,n4}pk(R3) );
send_7(R3,R4, {n4}pk(R4) );
claim_r3a(R3,Secret,n1);