EPSRC logo

Details of Grant 

EPSRC Reference: EP/C009967/1
Title: Quantitative Information Flow
Principal Investigator: Malacaria, Professor P
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Queen Mary University of London
Scheme: Standard Research (Pre-FEC)
Starts: 01 October 2005 Ends: 31 March 2009 Value (£): 89,236
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
EP/C545605/1 EP/C009746/1
Panel History:  
Summary on Grant Application Form
Consider the idea of interference, the capacity of one part of a system to affect the behaviour of another part. Non-interference, i.e. absence of interference, is often used in proving that a software system is well-behaved, whereas interference can lead to obscure (mis-)behaviours. However the misbehaviour in presence of interference will generally happen only when there is enough interference. Think in terms of electric current: non-interference between X and Y is the absence of a circuit involving X and Y; interference is the existence of a circuit; this however doesn't imply that there is enough ``current'' in the circuit to adversely affect the behaviour of the system.In this work we will use Shannon's Information Theory to measure the amount of interference between X and Y by considering it as a flow of information. In previous work we have had considerable success in applying this approach to simple programming languages.We aim to widen the current scope of our methods of reasoning and analysis so that we can consider more sophisticated forms of information flow (such as flows caused by variation in timing behaviours), and reason about more complex systems that may be reactive, object oriented, or incorporate probabilistic aspects.We further aim to improve the quality of our analyses by calculating tighter bounds on the amounts of information that flows.We have identified the following threads of investigation as being key to these aims: expressivity (extension of our work to a wider class of languages), time (extension to reasoning about time), and partial equivalence relations (using relations as a reasoning tool).A successful outcome of our proposed research in the above three threads will provide conceptual tools for quantitative analyses of information flow in a typed higher-order object-oriented multi-threaded language. Such research would be sufficient for the analysis of software applications like password protected systems and spyware.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: