2006-11-21 13:40:50 +00:00
|
|
|
|
|
|
|
|
secret k: Nonce;
|
|
|
|
|
|
|
|
|
|
protocol simplest(I)
|
|
|
|
|
{
|
|
|
|
|
role I
|
|
|
|
|
{
|
|
|
|
|
var x: Nonce;
|
2012-05-02 22:01:08 +01:00
|
|
|
fresh n: Nonce;
|
2006-11-21 13:40:50 +00:00
|
|
|
|
2012-05-02 22:26:41 +01:00
|
|
|
recv_!1(I,I, x);
|
2007-01-29 15:05:15 +00:00
|
|
|
send_!2(I,I, n, {n, x}k );
|
2006-11-21 13:40:50 +00:00
|
|
|
claim_3(I, Secret, n);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
