On the Rle of Abstract Non-interference in Language-Based Security.

Isabella Mastroeni

Browse the full APLAS paper archive.