Securing the Future - An Information Flow Analysis of a Distributed OO Language.

Martin Pettai, Peeter Laud

Browse the full SOFSEM paper archive.