Miles McQueen, Annarita Giani. 'Known Secure Sensor Measurements' for Critical Infrastructure Systems: Detecting Falsification of System State. In Elena Troubitsyna, editor, Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Volume 6968 of Lecture Notes in Computer Science, pages 156-163, Springer, 2011. [doi]
Abstract is missing.