scyther/spdl/helloworld.spdl

18 lines
283 B
Plaintext
Raw Normal View History

2004-02-28 20:39:17 +00:00
usertype String, World;
2004-06-12 14:10:17 +01:00
secret HelloWorld, k: String;
2004-02-28 20:39:17 +00:00
protocol hw(initiator,world)
{
role initiator
{
send_1(initiator, world, HelloWorld);
/* claim_2(initiator, Secret, HelloWorld); */
2004-02-28 20:39:17 +00:00
}
}
const Alice, Bob: Agent;
const Earth, Mars: World;
run hw.initiator(Agent,World);