@inproceedings{alturki19cathy, author = {Alturki, Musab A. and Ban Kirigin, Tajana and Kanovich, Max and Nigam, Vivek and Scedrov, Andre and Talcott, Carolyn}, title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols}, booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {11565}, pages = {192--213}, year = {2019}, }