Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation.

Anil Mundra, Anish Mathuria, Manik Lal Das

Browse the full ICDCIT paper archive.