Title: Security protocols analysis in the computational model