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

- Added Nisynch claims.

Browse Source
This commit is contained in:
ccremers 2004-10-14 11:51:49 +00:00
parent 6eecef9806
commit c7b06fc0f1
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
spdl/nsl3.spdl
View File

@ -13,6 +13,7 @@ protocol nsl3(I,R)
read_2(R,I, {ni,nr,R}pk(I) ); read_2(R,I, {ni,nr,R}pk(I) );
send_3(I,R, {nr}pk(R) ); send_3(I,R, {nr}pk(R) );
claim_4(I,Secret,ni,nr); claim_4(I,Secret,ni,nr);
claim_6(I,Nisynch);
} }
role R role R
@ -24,6 +25,7 @@ protocol nsl3(I,R)
send_2(R,I, {ni,nr,R}pk(I) ); send_2(R,I, {ni,nr,R}pk(I) );
read_3(I,R, {nr}pk(R) ); read_3(I,R, {nr}pk(R) );
claim_5(R,Secret,ni,nr); claim_5(R,Secret,ni,nr);
claim_7(R,Nisynch);
} }
} }