Verifying information flow properties of hybrid systems

Pavithra Prabhakar and Boris Köpf

In this paper, we study the problem of analyzing information flow properties of hybrid systems. We begin by formalizing non-interference -- the baseline information flow property -- for hybrid systems. We then present a type system for statically enforcing non-interference, together with a proof of soundness. We conclude with discussions on future work towards analyzing more permissive information flow properties.

International Conference on High Confidence Networked Systems (HiCoNS), (part of CPS Week), 2013
Download: BIB PS PDF