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

- Fixed claim labelling.

Browse Source
This commit is contained in:
ccremers 2004-10-13 12:23:55 +00:00
parent 0db90f4243
commit 1387fd1d50
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/bke.spdl
View File

@ -22,6 +22,7 @@ protocol bkepk(I,R)
read_2 (R,I, { hash(ni),nr,R,kir }pk(I) ); read_2 (R,I, { hash(ni),nr,R,kir }pk(I) );
send_3 (I,R, { hash(nr) }kir ); send_3 (I,R, { hash(nr) }kir );
claim_4 (I, Secret, kir ); claim_4 (I, Secret, kir );
claim_6 (I, Nisynch );
} }
role R role R
@ -34,6 +35,7 @@ protocol bkepk(I,R)
send_2 (R,I, { hash(ni),nr,R,kir }pk(I) ); send_2 (R,I, { hash(ni),nr,R,kir }pk(I) );
read_3 (I,R, { hash(nr) }kir ); read_3 (I,R, { hash(nr) }kir );
claim_5 (R, Secret, kir ); claim_5 (R, Secret, kir );
claim_7 (R, Nisynch );
} }
} }