- Fixed 2 protocols.

This commit is contained in:
ccremers 2004-06-12 13:10:17 +00:00
parent bd4530de77
commit 7346247f62
2 changed files with 2 additions and 8 deletions

View File

@ -42,17 +42,11 @@ protocol bkepk(A,B)
const Alice,Bob,Eve;
compromised sk(Eve);
untrusted Eve;
run bkepk.A(Alice,Bob);
run bkepk.B(Alice,Bob);
run bkepk.A(Alice,Bob);
run bkepk.B(Alice,Bob);
run bkepk.A(Alice,Bob);
run bkepk.B(Alice,Bob);
run bkepk.A(Alice,Bob);
run bkepk.B(Alice,Bob);
run bkepk.A(Alice,Bob);
run bkepk.B(Alice,Bob);

View File

@ -1,5 +1,5 @@
usertype String, World;
secret HelloWorld: String;
secret HelloWorld, k: String;
protocol hw(initiator,world)
{