Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer. A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. In Sjouke Mauw, Christian Damsgaard Jensen, editors, Security and Trust Management - 10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014. Proceedings. Volume 8743 of Lecture Notes in Computer Science, pages 162-177, Springer, 2014. [doi]
Abstract is missing.