Trusted declassification: High-level policy for a security-typed language (2006)

by B Hicks, D King, P McDaniel, M Hicks
Venue:In Proceedings of the 1st ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS ’06