@misc{indiciae7f4d0af55318,
  title = {A Formal Approach To Firewalls Testing Techniques},
  author = {Alexander Barabanov and Alexey Markov and Valentin Tsirlov},
  year = {2013},
  url = {https://arxiv.org/abs/1306.1953},
  note = {Source identifier: 1306.1953}
}