Controlling the what and where of declassification in language-based security
Heiko Mantel, Alexander Reinhard[doi] [ISBN] [Google Scholar] [DBLP] [Citeseer]
Programming Languages and Systems
Springer
Pages 141-156
2007
Topic(s): security
Note(s): information flow
Springer
Pages 141-156
2007
Topic(s): security
Note(s): information flow