Security and Trust Management : 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013, Proceedings - Rafael Accorsi, Silvio Ranise ((Lecture Notes in Computer Science))