Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems : 7th IFIP WG 11.2 International Workshop, WIST 2013, Heraklion, Greece, May 28-30, 2013, Proceedings - Lorenzo Cavallaro, Dieter Gollmann ((Lecture Notes in Computer Science))