Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols

Musab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of Protocols. In Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018, pp. 60–71, 2018.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@inproceedings{AlTurki18cpsspc,
  author    = {Musab A. AlTurki and
               Max I. Kanovich and
               Tajana Ban Kirigin and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  title     = {Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn
               Family of Protocols},
  booktitle = {Proceedings of the 2018 Workshop on Cyber-Physical Systems Security
               and PrivaCy, CPS-SPC@CCS 2018, Toronto, ON, Canada, October 19, 2018},
  pages     = {60--71},
  year      = {2018},
  url       = {http://doi.acm.org/10.1145/3264888.3264895},
  doi       = {10.1145/3264888.3264895},
  bib2html_pubtype = {Refereed Conference/Workshop},
    bib2html_rescat = {Foundations of Computer Security},
  bib2html_dl_pdf = "/docs/cps-spc18_dbp-final.pdf"
}

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57