From 50c7bbe6c5e6b2de2f6082dec42f53c7ea1a374e Mon Sep 17 00:00:00 2001 From: ccremers Date: Wed, 2 Mar 2005 19:12:08 +0000 Subject: [PATCH] - Non-unique claim label. --- spdl/gong-nonce.spdl | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/spdl/gong-nonce.spdl b/spdl/gong-nonce.spdl index 2b35cc7..3670288 100644 --- a/spdl/gong-nonce.spdl +++ b/spdl/gong-nonce.spdl @@ -18,6 +18,7 @@ protocol gongnonce(I,R,S) claim_6 (I, Secret, ki); claim_7 (I, Secret, kr); claim_8 (I, Nisynch); + claim_9 (I, Niagree); } role R @@ -31,9 +32,10 @@ protocol gongnonce(I,R,S) send_2 (R,S, I,R, nr, { R,S,R, kr, I,ni }k(R,S)); read_5 (S,R, { S,R,I, ki, R, nr }k(R,S) ); - claim_9 (R, Secret, ki); - claim_10 (R, Secret, kr); - claim_11 (R, Nisynch); + claim_10 (R, Secret, ki); + claim_11 (R, Secret, kr); + claim_12 (R, Nisynch); + claim_13 (R, Niagree); } role S