Security

Verifying Information Flow Properties of Hybrid Systems

Download Now Free registration required

Executive Summary

With incidents such as Stuxnet attacking SCADA systems, the security of embedded control systems has come to the limelight. One of the most fundamental security properties is confidentiality, i.e., the requirement that secret information can only be learned by authorized parties. In this paper, the authors study the problem of analyzing information flow properties of hybrid systems. They begin by formalizing non-interference - the baseline information flow property { for hybrid systems. They then present a type system for statically enforcing non-interference, together with a proof of soundness. They conclude with discussions on future work towards analyzing more permissive information flow properties.

  • Format: PDF
  • Size: 245.65 KB