Ilja Tšahhirov

• Security protocols analysis in the computational model