Back to Search Start Over

Information flow in hybrid systems

Information flow in hybrid systems

Authors :
Lanotte, Ruggero
Maggiolo-Schettini, Andrea
Tini, Simone
Source :
ACM Transactions on Embedded Computing Systems; November 2004, Vol. 3 Issue: 4 p760-799, 40p
Publication Year :
2004

Abstract

Our aim is to study the information flow problem in hybrid systems, namely systems consisting of a discrete program with an analog environment. Information flows compromise the security of a system because they cause leakage of protected information. In order to tackle information flow in real-life systems, we introduce new classes of hybrid systems that extend the known ones while preserving their properties. Then, we define a logic to specify information flow. By means of some examples, we show that, by this logic, we are able to express information flows in hybrid systems and to certify that some suspect behaviors of these systems do not give rise to any information flow. We give a model checking procedure for our logic, and we prove that it gives a correct answer whenever it terminates. Moreover, for a particular class of hybrid systems, we give a version of the procedure that always terminates.

Details

Language :
English
ISSN :
15399087
Volume :
3
Issue :
4
Database :
Supplemental Index
Journal :
ACM Transactions on Embedded Computing Systems
Publication Type :
Periodical
Accession number :
ejs7654289
Full Text :
https://doi.org/10.1145/1027794.1027799