[PPT] - Relating Strands and Multiset Rewriting For Security Protocol PowerPoint Presentation