Quantifying information flow (2001)

by Gavin Lowe
Venue:In Proceedings of the Workshop on Automated Verification of Critical Systems