Secure information flow by self-composition,” (2004)

by G Barthe, P R D’Argenio, T Rezk
Venue:in CSFW ’04: Proceedings of the 17th IEEE Computer Security Foundations Workshop,