The Zhou-Gollmann protocol in CSP

evidence.a

evidence.b

a

b

ftp.a

ftp.b

send.*.b

send.*.a

J

receive.*.b

receive.*.a

receive.*.J

send.*.J

medium