@misc{indiciae28e78809f8db,
  title = {Modelling and Analysis Network Security -- a PVCCS approach},
  author = {Qian Zhang and Ying Jiang and Liping Ding},
  year = {2015},
  url = {https://arxiv.org/abs/1507.06769},
  note = {Source identifier: 1507.06769}
}