Zhiyao Liang, Rakesh M. Verma. Complexity of Checking Freshness of Cryptographic Protocols. In R. Sekar, Arun K. Pujari, editors, Information Systems Security, 4th International Conference, ICISS 2008, Hyderabad, India, December 16-20, 2008. Proceedings. Volume 5352 of Lecture Notes in Computer Science, pages 86-101, 2008. [doi]
Abstract is missing.