Social and Behavioral Sciences Commons^™

Models Of Secure Software Enforcement And Development, Hernan M. Palombo

USF Tampa Graduate Theses and Dissertations

Computer Security has been a pressing issue that affects our society in multiple ways. Although a plethora of security solutions have been proposed and implemented throughout the years, security continues to be a problem for at least two important reasons, (1) implementations of runtime enforcement mechanisms have not been modeled rigorously and thus may not be enforcing the policies that are expected to enforce, and (2) there are conflicting tensions in the software development process that hinder the implementation and maintenance of secure software. To investigate these issues, this dissertation is divided into two parts.

The first part of this …