TY - CONF JO - System Sciences (HICSS), 2011 44th Hawaii International Conference on TI - Applying Formal Methods Informally T2 - System Sciences (HICSS), 2011 44th Hawaii International Conference on IS - SN - 1530-1605 VO - SP - 1 EP - 8 AU - Bishop, M. AU - Hay, B. AU - Nance, K. Y1 - 4-7 Jan. 2011 PY - 2011 KW - security of data KW - software engineering KW - formal methods KW - foundational concepts KW - philosophy concepts KW - programming process KW - secure programming KW - software development VL - JA - System Sciences (HICSS), 2011 44th Hawaii International Conference on DOI - 10.1109/HICSS.2011.71 AB - While many problems associated with software development and the associated vulnerabilities are well documented and discussed, there is a distinct and obvious lack of consensus on the means to overcome and remedy these identified issues. This paper introduces the idea of integrating the concepts of formal methods into the programming process from the beginning. This method of applying formal methods informally has the potential to change the programming paradigm to include formal methods; and, when formal methods cannot be applied, an ancillary application of the philosophy and underlying foundational concepts to move towards a culture of more secure programming. ER -