Integration of a security type system into a program logic (2007)

by R Hähnle, J Pan, P Rümmer, D Walter
Venue:In Proc. 2nd Symposium on Trustworthy Global Computing, volume 4661 of Lecture Notes in Computer Science