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

- Added claim label.

Browse Source
This commit is contained in:
ccremers 2004-08-31 14:35:47 +00:00
parent 5ed9fefa7e
commit 78e68f3c17
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
spdl/tls-paulson.spdl
View File

@ -36,7 +36,7 @@ protocol tlspaulson(a,b)
send_7( a,b, { F }CLIENTK ); send_7( a,b, { F }CLIENTK );
read_8( b,a, { F }SERVERK ); read_8( b,a, { F }SERVERK );
claim(a, Secret,CLIENTK, SERVERK); claim_9(a, Secret,CLIENTK, SERVERK);
} }
@ -57,7 +57,7 @@ protocol tlspaulson(a,b)
read_7( a,b, { F }CLIENTK ); read_7( a,b, { F }CLIENTK );
send_8( b,a, { F }SERVERK ); send_8( b,a, { F }SERVERK );
claim(a, Secret,CLIENTK, SERVERK); claim_10(b, Secret,CLIENTK, SERVERK);
} }
} }