A process-algebraic approach for the analysis of probabilistic noninterference.

Alessandro Aldini Mario Bravetti Roberto Gorrieri

Published in: J. Comput. Secur. (2004)

Keyphrases

statistical analysis
data sets
bayesian networks
data driven
neural network
information systems
optimal solution
quantitative analysis