Information Flow and Design Systems

Design and Verification of Information Flow Secure Systems

Design and Verification of Information Flow Secure Systems

A Systems Approach to Information Technology (IT) Infrastructure Design for Utility Management Automation Systems

Almost all of electric utility companies are planning to improve their management automation system, in order to meet the changing requirements of new liberalized energy market and to benefit from the innovations in information and communication technology (ICT or IT). Architectural design of the utility management automation (UMA) systems for their IT-enabling requires proper selection of ...

Information Systems Analysis and Design

Information Flow in Linear Systems

Information Flow in Linear Systems

Information Flow in Interactive Systems

We consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation. We show that the information-theoretic approach which interprets such systems as (simple) noisy channels is not valid anymore. However, the principle can be recovered if we consider more complicated types of channels, that in Information Theory a...