DMCA

Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems

by Deian Stefan Alej