Detecting Flaws in Dynamic Hierarchical Key Management Schemes Using Specification Animation

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]

Authors

Anil Mundra

This author has not been identified. Look up 'Anil Mundra' in Google

Anish Mathuria

This author has not been identified. Look up 'Anish Mathuria' in Google

Manik Lal Das

This author has not been identified. Look up 'Manik Lal Das' in Google