"Enforcing Information Flow Security Properties in Cyber-Physical Systems: ..."

Thoshitha T. Gamage, Bruce M. McMillin, Thomas P. Roth (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics