@misc{indiciaeccdb01a449e0,
  title = {Unwinding Conditional Noninterference},
  author = {Chenyi Zhang},
  year = {2010},
  url = {https://arxiv.org/abs/1003.3893},
  note = {Source identifier: 1003.3893}
}