From c7b06fc0f10e0b46a515aed5d00319f0ef6dc600 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Thu, 14 Oct 2004 11:51:49 +0000
Subject: [PATCH] - Added Nisynch claims.

---
 spdl/nsl3.spdl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spdl/nsl3.spdl b/spdl/nsl3.spdl
index b85ef9e..524aa79 100644
--- a/spdl/nsl3.spdl
+++ b/spdl/nsl3.spdl
@@ -13,6 +13,7 @@ protocol nsl3(I,R)
 		read_2(R,I, {ni,nr,R}pk(I) );
 		send_3(I,R, {nr}pk(R) );
 		claim_4(I,Secret,ni,nr);
+		claim_6(I,Nisynch);
 	}	
 	
 	role R
@@ -24,6 +25,7 @@ protocol nsl3(I,R)
 		send_2(R,I, {ni,nr,R}pk(I) );
 		read_3(I,R, {nr}pk(R) );
 		claim_5(R,Secret,ni,nr);
+		claim_7(R,Nisynch);
 	}
 }