A theorem proving approach to analysis of secure information flow (2005)

by A Darvas, R Hähnle, D Sands
Venue:in Proceedings of the Second international conference on Security in Pervasive Computing, SPC’05