Ye Zhang 0002, Hanne Riis Nielson. Analyzing Security Protocols in Hierarchical Networks. In Susanne Graf, Wenhui Zhang, editors, Automated Technology for Verification and Analysis, 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Volume 4218 of Lecture Notes in Computer Science, pages 430-445, Springer, 2006. [doi]
Abstract is missing.