Quantitative Analysis of Information Flow Using Theorem Proving.

Tarek Mhamdi, Osman Hasan, Sofine Tahar

Browse the full ICFEM paper archive.