JavaScript is disabled for your browser. Some features of this site may not work without it.
Formal methods for secure software construction
Goodspeed, Ben
Date: 2016
Type: Text
Abstract:
The objective of this thesis is to evaluate the state of the art in formal methods usage in secure computing. From this evaluation, we analyze the common components and search for weaknesses within the common workflows of secure software construction. An improved workflow is proposed and appropriate system requirements are discussed. The systems are evaluated and further tools in the form of libraries of functions, data types and proofs are provided to simplify work in the selected system. Future directions include improved program and proof guidance via compiler error messages, and targeted proof steps.
Description:
xiv, 169 leaves : col. ill. ; 29 cm.
Includes abstract and appendix.
Includes bibliographical references (leaves 117-128).