Alessandro Aldini, Javier Lopez, Fabio Martinelli, editors, Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures. Volume 9808 of Lecture Notes in Computer Science, Springer, 2016. [doi]
Conference: fosad2016
Abstract is missing.