Ramaswamy Ramanujam, Vaishnavi Sundararajan, S. P. Suresh. Extending Dolev-Yao with Assertions. In Atul Prakash, Rudrapatna K. Shyamasundar, editors, Information Systems Security - 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014, Proceedings. Volume 8880 of Lecture Notes in Computer Science, pages 50-68, Springer, 2014. [doi]
Abstract is missing.