@misc{indiciaef18a778ea149,
  title = {Secure Information Flow by Model Checking Pushdown System},
  author = {Cong Sun and Liyong Tang and Zhong Chen},
  year = {2010},
  url = {https://arxiv.org/abs/1012.3100},
  note = {Source identifier: 1012.3100}
}