HiCONS 12 Proceedings of the 1st ACM International Conference on High Confidence Networked Systems