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
Cambridge University Press
Pages 1207-1252
2011
Note(s): information flow, self composition