Object Oriented Verification Kernels for Secure Java Applications.

Holger Grandy, Kurt Stenzel, Wolfgang Reif

Browse the full SEFM paper archive.