A static analysis for quantifying information flow in a simple imperative language

Cached

Download Links

by David Clark , Sebastian Hunt , Pasquale Malacaria
Citations:42 - 3 self