scyther/testing/onetrace.spdl

19 lines
232 B
Plaintext
Raw Normal View History

2006-11-21 13:40:50 +00:00
usertype String;
const Alice,Bob,Charlie: Agent;
const Hallo: String;
protocol onetrace(I)
{
role I
{
var input: String;
2012-05-02 22:26:41 +01:00
recv_!1(I,I, input);
send_!2(I,I, Hallo);
2012-05-02 22:26:41 +01:00
recv_!3(I,I, input);
2006-11-21 13:40:50 +00:00
claim_4(I, Secret, input);
}
}