Sign in

Information Flow Security for Boxed Ambients.

Silvia CrafaMichele BugliesiGiuseppe Castagna
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases