Zhiwei Li, Weichao Wang. Deciding Recognizability under Dolev-Yao Intruder Model. In Mike Burmester, Gene Tsudik, Spyros S. Magliveras, Ivana Ilic, editors, Information Security - 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers. Volume 6531 of Lecture Notes in Computer Science, pages 416-429, Springer, 2010. [doi]
Abstract is missing.