Zhoujun Li, Ti Zhou, Mengjun Li, Huowang Chen. Constraints Solution for Time Sensitive Security Protocols. In Franco P. Preparata, Qizhi Fang, editors, Frontiers in Algorithmics, First Annual International Workshop, FAW 2007, Lanzhou, China, August 1-3, 2007, Proceedings. Volume 4613 of Lecture Notes in Computer Science, pages 191-203, Springer, 2007. [doi]
Abstract is missing.