2 papers
cs.CR2010
Unwinding Conditional Noninterference
Chenyi Zhang
Noninterference provides a control over information flow in a system for ensuring confidentiality and integrity properties. In the literature this notion has been well studied as t…
cs.LO2010
On Probabilistic Alternating Simulations
Chenyi Zhang, Jun Pang
This paper presents simulation-based relations for probabilistic game structures. The first relation is called probabilistic alternating simulation, and the second called probabili…