Anil Mundra, Anish Mathuria, Manik Lal Das. Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation. In R. Ramanujam, Srini Ramaswamy, editors, Distributed Computing and Internet Technology - 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings. Volume 7154 of Lecture Notes in Computer Science, pages 166-176, Springer, 2012. [doi]
Abstract is missing.