Formal analysis of an information flow type system for MicroJava (extended version (2003)

by M Strecker