@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@inproceedings{alturki19cathy,
author = {Musab A. Alturki and
Tajana Ban Kirigin and
Max Kanovich and
Vivek Nigam and
Andre Scedrov and Carolyn Talcott},
title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols},
year = {2019},
booktitle = {Catherine Meadow's Festschirft},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Foundations of Computer Security},
bib2html_dl_pdf = "/docs/CM_timed_intruders.pdf"
}