A static analysis for quantifying information flow in a simple imperative language
by
David Clark
,
Sebastian Hunt
,
Pasquale Malacaria
| Citations: | 22 - 1 self |
BibTeX
@MISC{Clark_astatic,
author = {David Clark and Sebastian Hunt and Pasquale Malacaria},
title = {A static analysis for quantifying information flow in a simple imperative language},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
