• Sorted by Date • Classified by Publication Type • Classified by Research Category •
Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. Unpublished Draft.
(unavailable)
@Unpublished{nigam.fest, author = {Musab A. AlTurki and Max I. Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn L. Talcott}, title = {A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols}, year = "Draft", bib2html_pubtype = {Submitted}, bib2html_rescat = {Foundations of Computer Security}, bib2html_dl_pdf = "/docs/CM_timed_intruders.pdf" }
Generated by bib2html.pl (written by Patrick Riley ) on Mon Feb 25, 2019 17:51:38