Browsing Masters Theses by Subject "Computer security"

Browsing Masters Theses by Subject "Computer security"

Sort by: Order: Results:

  • Thumbnail
    Formal methods for secure software construction 
    Goodspeed, Ben (Halifax, N.S. : Saint Mary's University, 2016)
    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 ...