Secure information flow by self-composition

Gilles Barthe, Pedro R. D'Argenio, Tamara Rezk
[doi] [Google Scholar] [DBLP] [Citeseer]

Mathematical Structures in Computer Science 21(6)
Cambridge University Press
Pages 1207-1252
2011
Note(s): information flow, self composition