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