From 47c9f257a87ff60f2cddb7538f63998bf9f9b875 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 23 May 2005 13:07:11 +0000 Subject: [PATCH] - Optimized version. --- spdl/nsl-generalized-4.spdl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/spdl/nsl-generalized-4.spdl b/spdl/nsl-generalized-4.spdl index e03a3e5..47b729c 100644 --- a/spdl/nsl-generalized-4.spdl +++ b/spdl/nsl-generalized-4.spdl @@ -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);