[ACM Press the 2nd ACM international conference - Philadelphia, Pennsylvania, USA (2013.04.09-2013.04.11)] Proceedings of the 2nd ACM international conference on High confidence networked systems - HiCoNS '13 - Algorithms for determining network robustness