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

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