Confinement Properties for Multi-Threaded Programs.

Geoffrey Smith Dennis M. Volpano

Published in: MFPS (1999)

Keyphrases

multi threaded
operating system
general purpose
communication networks
information flow
multithreading