Quantitative analysis of the leakage of confidential data
David Clark, Sebastian Hunt, Pasquale Malacaria[doi] [Google Scholar] [DBLP] [Citeseer]
Electronic Notes in Theoretical Computer Science
59(3)
Pages 238 - 251
2002
Note(s): information flow
Pages 238 - 251
2002
Note(s): information flow