Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified 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)

@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 Mon Jan 08, 2024 13:46:57