A Theorem Proving Approach to Analysis of Secure Information Flow (0)

by A Darvas, R Hähnle, D Sands
Venue:In Proceedings of the Workshop on Issues in the Theory of Security