Critical Information Infrastructures Security 12th International Conference, CRITIS 2017, Lucca, Italy, October 8-13, 2017, Revised Selected Papers - D'Agostino, Gregorio; D'Agostino, Gregorio; Scala, Antonio; Scala, Antonio (Springer International Publishing : Imprint: Springer, 2018)