Browsing Theses and Dissertations (MU) by Title "Calculating information leakage using model checking tools"
Now showing items 1-1 of 1
-
Calculating information leakage using model checking tools
(University of Missouri--Columbia, 2014)A confidential program should not allow any information about its secret inputs to be inferred from its public outputs. As such confidentiality is difficult to achieve in practice, it has been proposed in literature to ...