Security analysis of cryptographic protocols has been widely studied for many years.As far as we know,we have not found ......