120
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Several programming constructs have recently been proposed with the purpose of enabling the programmer to encode declassifying information flows within a program that complies wi...