@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@inproceedings{kanovich15post,
author = {Max Kanovich and Tajana Ban Kirigin and Vivek Nigam and Andre Scedrov and Carolyn Talcott},
title = {Discrete vs. Dense Times in the Analysis of Cyber-Physical Security Protocols},
booktitle = {Principles of Security and Trust - 4th International Conference, {POST}},
pages = {259--279},
year = {2015},
bib2html_pubtype = {Refereed Conference/Workshop},
bib2html_rescat = {Foundations of Computer Security},
bib2html_dl_pdf = "/docs/post15.pdf"
}