SOFTWARE SECURITY

Research in Software Security examines mechanisms for preventing insecure software behaviors. The Software Security group at USF focuses on security policies, with two high-level goals:

1. To provide assurances that software behaves in accordance with desired policies

2. To ease the tasks of specifying, managing, and enforcing policies

We address the following sorts of questions: Which policies should we enforce? How can we design programming languages to improve policy specification? What kinds of software tools would help us manage complex policies? Which mechanisms should we implement to enforce desired policies, and how can we prove that they actually do?

Faculty Member(s): Jay Ligatti