Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
  
Screen decoration graphicsLogo
Not Logged in. Login

A Static Analysis for Quantifying the Information Flow in a Simple Imperative Language

Clark, D and Hunt, S and Malacaria, P (2007) A Static Analysis for Quantifying the Information Flow in a Simple Imperative Language. Journal of Computer Security, 15 (3). pp. 321-371.

This is the latest version of this item.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
312Kb

Item Type:Article
Subjects:UNSPECIFIED
ID Code:1213
Deposited By:Dr. David Clark
Deposited On:15 Nov 2007 14:19
Last Modified:15 Nov 2007 14:19

Available Versions of this Item

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