Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels

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]

Authors

Bogdan Groza

This author has not been identified. Look up 'Bogdan Groza' in Google

Marius Minea

This author has not been identified. It may be one of the following persons: Look up 'Marius Minea' in Google