Draw a simple flow chart of the messages sent between I (the initiator) and R (the receiver). There are only 3 messages.

4 5//The protocol description 7 protocol ns3(I,R) 9 rolel 10 fresh ni: Nonce var nr: Nonce; 12 13 14 15 16 17 18 19 20 21 send 1(,R, ni,l)pk(R)); recv 2(R,I,ni,nrpk(I)); claim(I,Running, R,ni,nr); send_3(0,R, (nrlpk(R)): claim(I,Secret,ni); claim(,Secret,nr); claim(l,Alive); claim(l,Weakagree) claim(l,Commit,R,ni,nr); claim(l,Niagree); claim(I,Nisynch); 23 24 25 26 27 28 role R 29 30 31 32 var ni: Nonce; fresh nr: Nonce; recv 1(1,R, nilp(R)); claim (R,Running,I,ni,nr); send 2(R,I, ni,nrpk(1)) recv 3(0,R, (nrlpk(R) ); 34 35 36 37 38 39 40 41 42 43 claim(R,Secret,ni); claim (R,Secret,nr); claim(R,Alive); claim(R,Weakagree; claim(R,Commit,I,ni,nr); claim(R,Niagree); claim(R,Nisynch); 45 46 4 5//The protocol description 7 protocol ns3(I,R) 9 rolel 10 fresh ni: Nonce var nr: Nonce; 12 13 14 15 16 17 18 19 20 21 send 1(,R, ni,l)pk(R)); recv 2(R,I,ni,nrpk(I)); claim(I,Running, R,ni,nr); send_3(0,R, (nrlpk(R)): claim(I,Secret,ni); claim(,Secret,nr); claim(l,Alive); claim(l,Weakagree) claim(l,Commit,R,ni,nr); claim(l,Niagree); claim(I,Nisynch); 23 24 25 26 27 28 role R 29 30 31 32 var ni: Nonce; fresh nr: Nonce; recv 1(1,R, nilp(R)); claim (R,Running,I,ni,nr); send 2(R,I, ni,nrpk(1)) recv 3(0,R, (nrlpk(R) ); 34 35 36 37 38 39 40 41 42 43 claim(R,Secret,ni); claim (R,Secret,nr); claim(R,Alive); claim(R,Weakagree; claim(R,Commit,I,ni,nr); claim(R,Niagree); claim(R,Nisynch); 45 46