Home Latest Advanced Search By Year By Division 

Not Logged in. Login 
Quantitative Information Flow, Relations and Polymorphic TypesClark, David and Hunt, Sebastian and Malacaria, Pasquale (2005) Quantitative Information Flow, Relations and Polymorphic Types. Journal of Logic and Computation, 15 (2). pp. 181199.
AbstractThis paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of noninterference and an equivalence is established between noninterference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.
Repository Staff Only: item control page 
Accessibility  Terms and Conditions  Last Modified 01 November 2007 
© 2007 DCS, King's College London, Strand, London WC2R 2LS, England, United Kingdom. Tel +44 (0)20 7836 5454 