@inproceedings{DBLP:conf/pst/MartinelliSY15,
  author    = {Fabio Martinelli and
               Francesco Santini and
               Artsiom Yautsiukhin},
  title     = {Network security supported by arguments},
  booktitle = {{PST}},
  pages     = {165--172},
  publisher = {{IEEE} Computer Society},
  year      = {2015}
}