Secure information flow by self-composition (2004)

by G Barthe, P R D’Argenio, T Rezk
Venue:In Proc. of the 17th IEEE Workshop on Computer Security Foundations. IEEE Computer Society