An integrated method for security protocols analysis