@misc{indiciae5a31c51f97b0,
  title = {A New Enforcement on Declassification with Reachability Analysis},
  author = {Cong Sun and Liyong Tang and Zhong Chen},
  year = {2011},
  doi = {10.1109/infcomw.2011.5928777},
  url = {https://arxiv.org/abs/1108.4172},
  note = {Source identifier: 1108.4172}
}