Secure Information Flow for Concurrent Processes.

Jan Jrjens

Browse the full CONCUR paper archive.