@article{707437,
      note = {Includes author index.},
      author = {Aldini, Alessandro, and Lopez, Javier, and Martinelli,  Fabio,},
      url = {http://library.usi.edu/record/707437},
      title = {Foundations of security analysis and design VII FOSAD  2012/2013 tutorial lectures / [electronic resource] :.  International School on Foundations of Security Analysis  and Design},
      doi = {https://doi.org/10.1007/978-3-319-10082-1},
      recid = {707437},
      pages = {1 online resource (viii, 282 pages) :},
}