Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation. - Anil Mundra; Anish Mathuria; Manik Lal Das (ICDCIT, 2012)