Security completeness: towards noninterference in composed languages.

Andreas Gampe, Jeffery von Ronne

Browse the full PLDI paper archive.