Login / Signup

Information flow security of multi-threaded distributed programs.

Riccardo FocardiMatteo Centenaro
Published in: PLAS (2008)
Keyphrases