Verifying multicast-based security protocols using the inductive method.

Jean Everson Martina, Lawrence C. Paulson

Browse the full SAC paper archive.