Models of Secure Software Enforcement and Development