A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols.
Musab A. AlTurkiTajana Ban KiriginMax I. KanovichVivek NigamAndre ScedrovCarolyn L. TalcottPublished in: Foundations of Security, Protocols, and Equational Reasoning (2019)