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]
Abstract is missing.