- Home
- →
- Theses & Dissertations
- →
- Masters Theses
- →
- View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
| dc.contributor.advisor | Konstantinidis, Stavros | |
| dc.creator | Goodspeed, Ben | |
| dc.date.accessioned | 2016-06-06T13:40:00Z | |
| dc.date.available | 2016-06-06T13:40:00Z | |
| dc.date.issued | 2016 | |
| dc.identifier.other | QA76.76 D47 G66 2016 | |
| dc.identifier.uri | http://library2.smu.ca/handle/01/26510 | |
| dc.description | xiv, 169 leaves : col. ill. ; 29 cm. | |
| dc.description | Includes abstract and appendix. | |
| dc.description | Includes bibliographical references (leaves 117-128). | |
| dc.description.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. | en_CA |
| dc.description.provenance | Submitted by Greg Hilliard (greg.hilliard@smu.ca) on 2016-06-06T13:40:00Z No. of bitstreams: 1 Goodspeed_Ben_MASTERS_2016.pdf: 2377935 bytes, checksum: 3a05644b7ed58b2380f176dedaec4e5d (MD5) | en |
| dc.description.provenance | Made available in DSpace on 2016-06-06T13:40:00Z (GMT). No. of bitstreams: 1 Goodspeed_Ben_MASTERS_2016.pdf: 2377935 bytes, checksum: 3a05644b7ed58b2380f176dedaec4e5d (MD5) Previous issue date: 2016-04-08 | en |
| dc.language.iso | en | en_CA |
| dc.publisher | Halifax, N.S. : Saint Mary's University | |
| dc.subject.lcc | QA76.76.D47 | |
| dc.subject.lcsh | Computer software -- Development | |
| dc.subject.lcsh | Formal methods (Computer science) | |
| dc.subject.lcsh | Computer security | |
| dc.title | Formal methods for secure software construction | en_CA |
| dc.type | Text | en_CA |
| thesis.degree.name | Master of Science in Applied Science | |
| thesis.degree.level | Masters | |
| thesis.degree.discipline | Mathematics and Computing Science | |
| thesis.degree.grantor | Saint Mary's University (Halifax, N.S.) |
