Fast probabilistic simulation, nontermination, and secure information flow

This publication has 8 references indexed in Scilit:

• Assessing security threats of looping constructs
  Published by Association for Computing Machinery (ACM) ,2007
• Secure information flow with random assignment and encryption
  Published by Association for Computing Machinery (ACM) ,2006
• Comparative branching-time semantics for Markov chains
  Information and Computation, 2005
• Language-based information-flow security
  IEEE Journal on Selected Areas in Communications, 2003
• Specification and refinement of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Probabilistic interference
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• Certification of programs for secure information flow
  Communications of the ACM, 1977