Login / Signup

A Quantitative Approach to Noninterference for Probabilistic Systems.

Alessandro AldiniAlessandra Di Pierro
Published in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases