Decision and game theory for security 4th international conference, GameSec 2013, Fort Worth, TX, USA, November 11 - 12, 2013 ; proceedings (Springer, 2013)