Critical information infrastructures security 7th international workshop, CRITIS 2012, Lillehammer, Norway, September 17 - 18, 2012 ; revised selected papers (Springer, 2013)