Critical information infrastructures security 8th International Workshop, CRITIS 2013, Amsterdam, The Netherland, September 16-18, 2013 ; revised selected papers (Springer, 2013)