A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs.

Sandip Ghosal, R. K. Shyamasundar

Browse the full APSEC paper archive.