Measuring the confinement of probabilistic systems

This publication has 50 references indexed in Scilit:

• A Quantitative Approach to Noninterference for Probabilistic Systems
  Electronic Notes in Theoretical Computer Science, 2004
• A model for evaluating IT security investments
  Communications of the ACM, 2004
• Probabilistic Confinement in a Declarative Framework
  Electronic Notes in Theoretical Computer Science, 2001
• Probability and Information: An Integrated Approach.
  Journal of the American Statistical Association, 1997
• Abstract interpretation and application to logic programs
  The Journal of Logic Programming, 1992
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Algebraic theory of processes : By M. Hennessy. MIT Press, Cambridge, MA, 1988, Price £16.95 (paperback), ISBN 0-262-08171-7.
  Science of Computer Programming, 1989
• A Survey on Spectra of infinite Graphs
  Bulletin of the London Mathematical Society, 1989
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• A note on the confinement problem
  Communications of the ACM, 1973