Preserving information flow properties under refinement
Heiko Mantel[doi] [Google Scholar] [DBLP] [Citeseer]
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001
IEEE
Pages 78-91
2000
Note(s): information flow
IEEE
Pages 78-91
2000
Note(s): information flow