Critical Information Infrastructures Security 7th International Workshop, CRITIS 2012, Lillehammer, Norway, September 17-18, 2012. Revised Selected Papers Hämmerli, Bernhard Heftet / 2013 / Engelsk