مروري بر روش هاي تحليل و اثبات امنيت پروتكل هاي امنيتي

An overview of methods for analyzing and proving the security of security protocols
مروري بر روش هاي تحليل و اثبات امنيت پروتكل هاي امنيتي