Read more about detecting flaws in dynamic hierarchical key management schemes using specification animation