Sign in
Abstract model counting: a novel approach for quantification of information leaks.
Quoc-Sang Phan
Pasquale Malacaria
Published in:
AsiaCCS (2014)
Keyphrases
</>
information flow
special case