HiCoNS '12 proceedings of the 1st ACM International Conference on High Confidence Networked Systems : April 17-19, 2012, Beijing, China (Association for Computing Machinery, 2012)