Vivek Nigam's Publications

Sorted by DateClassified by Publication TypeClassified by Research Category

A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols

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.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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