Security vulnerability verification through contract-based assertion monitoring at runtime

In this dissertation we seek to identify ways in which the systems development life cycle (SDLC) can be augmented with improved software engineering practices to measurably address security concerns that have arisen relating to security vulnerability defects in software. By proposing a general model...

Full description

Bibliographic Details
Main Author: Hoole, Alexander M.
Other Authors: Traore, Issa
Format: Others
Language:English
en
Published: 2018
Subjects:
Online Access:https://dspace.library.uvic.ca//handle/1828/8952