2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)