Secure information flow by self-composition (2004)

by G Barthe, P D’Argenio, T Rezk
Venue:In Computer Security Foundations Workshop (CSFW