@article{760115,
      note = {Includes author index.},
      author = {Aldini, Alessandro, and Lopez, Javier, and Martinelli,  Fabio,},
      url = {http://library.usi.edu/record/760115},
      title = {Foundations of security analysis and design VIII FOSAD  2014/2015/2016 tutorial lectures / [electronic resource] :.  International Summer School on Foundations of Security  Analysis and Design},
      doi = {https://doi.org/10.1007/978-3-319-43005-8},
      recid = {760115},
      pages = {1 online resource (vii, 163 pages) :},
}