A Static Analysis for Quantifying the Information Flow in a Simple Imperative Programming Language (2007)
Attributed to:
Quantitative Information Flow
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 15(3)
Parent Publication: The Journal of Computer Security