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, Tajana Ban Kirigin, Max Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn Talcott. A Multiset Rewriting Model for Specifying and Verifying Timing Aspects of Security Protocols. In Catherine Meadow's Festschirft, 2019.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@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"
}

Generated by bib2html.pl (written by Patrick Riley ) on Thu Apr 11, 2019 12:00:53