Bogdan Groza, Marius Minea. Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels. In Eric A. M. Luiijf, Pieter H. Hartel, editors, Critical Information Infrastructures Security - 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers. Volume 8328 of Lecture Notes in Computer Science, pages 167-178, Springer, 2013. [doi]
@inproceedings{GrozaM13,
title = {Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels},
author = {Bogdan Groza and Marius Minea},
year = {2013},
doi = {10.1007/978-3-319-03964-0_15},
url = {http://dx.doi.org/10.1007/978-3-319-03964-0_15},
researchr = {https://researchr.org/publication/GrozaM13},
cites = {0},
citedby = {0},
pages = {167-178},
booktitle = {Critical Information Infrastructures Security - 8th International Workshop, CRITIS 2013, Amsterdam, The Netherlands, September 16-18, 2013, Revised Selected Papers},
editor = {Eric A. M. Luiijf and Pieter H. Hartel},
volume = {8328},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-03963-3},
}