[PPT] - Verification of cryptographic protocols: techniques, tools and link PowerPoint Presentation