Computer security - ESORICS 2012 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10 - 12, 2012 ; proceedings (Springer, 2012)