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

- Added agree claim.

Browse Source
This commit is contained in:
ccremers 2005-03-02 19:43:03 +00:00
parent 50c7bbe6c5
commit acb98c2212
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
spdl/boyd.spdl
View File

@ -27,6 +27,7 @@ protocol boyd(I,R,S)
send_4 (I,R, m(nr, m(ks,ni,nr)) ); send_4 (I,R, m(nr, m(ks,ni,nr)) );
claim_6 (I, Secret, m(ks,ni,nr) ); claim_6 (I, Secret, m(ks,ni,nr) );
claim_7 (I, Niagree);
claim_8 (I, Nisynch); claim_8 (I, Nisynch);
} }
@ -40,8 +41,9 @@ protocol boyd(I,R,S)
send_3 (R,I, { I,R, ks }k(I,S), m(ni, m(ks,ni,nr)), nr ); send_3 (R,I, { I,R, ks }k(I,S), m(ni, m(ks,ni,nr)), nr );
read_4 (I,R, m(nr, m(ks,ni,nr)) ); read_4 (I,R, m(nr, m(ks,ni,nr)) );
claim_7 (R, Secret, m(ks,ni,nr)); claim_10 (R, Secret, m(ks,ni,nr));
claim_9 (R, Nisynch); claim_11 (R, Niagree);
claim_12 (R, Nisynch);
} }
role S role S