|
Abstract : |
We present a probabilistic extension of the classication of security properties for the information ow analysis of computer systems. In particular, by employing a process algebraic approach we show that the classical results known from the non-interference theory based on nondeterminism (like e.g. the inclusion relationship among the dierent properties) are preserved when passing to the probabilistic setting. Moreover, we show the consistency of our approach by proving that systems which satisfy a probabilistic security property continue to be secure with respect to the same property dened in the nondeterministic setting. 1, |
